ordered pair

Deductions

• ordered pair is part of Cartesian product ⇐ (ordered pair is part of binary relation), (binary relation is part of Cartesian product), (is part of is a transitive relation)
• ordered pair is part of power set ⇐ (ordered pair is part of binary relation), (binary relation is part of power set), (is part of is a transitive relation)
• ordered pair is subclass of collective entity ⇐ (ordered pair is subclass of dyad), (dyad is subclass of collective entity), (is subclass of is a transitive relation)
• ordered pair is subclass of entity ⇐ (ordered pair is subclass of dyad), (dyad is subclass of entity), (is subclass of is a transitive relation)