Class is Transitive iff Union is Subclass/Sufficient Condition