Equivalence relations are binary relations that satisfy the following property:
For a relation (denoted as
- Reflexive:
- Symmetric:
- Transitive:
Strict equivalent is just one kind of equivalence. We can also have other kind of equivalence relationship that satisfy the above properties.
Example
For a set
, we can have an equivalence relation .