Equivalence Relation - kipawaa/Proof-Tree GitHub Wiki

Statement

A [Relation]] is called an equivalence relation if it is [Reflexive, Symmetric and Transitive.

Explanation

These are the conditions we require for equality, and we want this preserved when we define similar/new types of equality.

Proof(s)

History

Applications

Links

Dependencies

• Symmetric Relation
• Transitive Relation
• Reflexive Relation
• Relation

Dependents

• Rational Numbers
• Integers

Sources

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