Definition:Transitive Set