Category:Class is Transitive iff Union is Subset