Relation - kipawaa/Proof-Tree GitHub Wiki

Statement

A set $R$ is relation iff the elements of $R$ are exclusively Ordered Pairs.

Explanation

Proof(s)

History

Applications

Links

Dependencies

• Ordered Pair

Dependents

• Domain of a Relation
• Domain of a Relation is a Set
• Image Under a Relation
• Inverse Image of a Relation
• Range of a Relation
• Range of a Relation is a Set
• Symmetric Relation
• Transitive Relation
• Reflexive Relation
• Equivalence Relation
• Function
• Partial Ordering
• Asymmetric Relation
• Anti Symmetric Relation
• Strict Ordering
• Equivalence Class

Sources

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