Hello everyone! I couldn't find more appropriate sub forum for that question so of it doesn't fit here I apology. Transitive relation must be symmetric or antisymmetric? If so, how do I prove that? thanks!