Chapter 1: Relations and Functions
Reflexive, Symmetric, Transitive.
Types of Relations
- Reflexive: (a, a) ∈ R for all a ∈ A.
- Symmetric: If (a, b) ∈ R, then (b, a) ∈ R.
- Transitive: If (a, b) ∈ R and (b, c) ∈ R, then (a, c) ∈ R.
If a relation is all three, it is an Equivalence Relation.