Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
equivalence_relation [2007/03/30 20:36] vkuncak |
equivalence_relation [2007/03/30 20:36] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Equivalence relation ====== | ====== Equivalence relation ====== | ||
- | An equivalence relation $\sim$ is a binary relation on set $A$ (that is, a subset of $A^2$) that is reflexive, symmatric, and transitive, that is, the following three properties hold: | + | An equivalence relation $\sim$ is a binary relation on set $A$ (that is, a subset of $A^2$) that is reflexive, symmetric, and transitive, that is, the following three properties hold: |
* $x \sim x$ | * $x \sim x$ |