Axiom. subset
A ⊆ B → set B → set A