Class is Transitive iff Union is Subclass/Necessary Condition