Category:Symmetric and Transitive Relation is not necessarily Reflexive

From ProofWiki
Jump to navigation Jump to search