Ordered Pair - kipawaa/Proof-Tree GitHub Wiki

Statement

The ordered pair (x, y) is defined to be the set $\{\{x\}, \{x, y\}\}$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

• Equality of Ordered Pairs
• Relation
• Domain of a Relation is a Set
• Range of a Relation is a Set
• Reflexive Relation

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096