Category:Class is Transitive iff Union is Subclass