Category:Union of Class is Transitive if Every Element is Transitive