Category:Union of Transitive Class is Transitive