Definition:Transitive Relation (Class Theory)