0
I noticed that we have a tag for transitive-closure, which seems to me as somewhat redundant. Here are two arguments I have in mind. Firstly, it's unclear if we are talking about the general relational term, or just the specific set theoretic construction of a transitive set containing a given s...