Transitivity of ⊊ is valid set-theoretically; the claim conflates a proof technique with the logical...
This proposition has not been edited since the history system was added.