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 7: | Line 7: | ||
* $x \sim y\ \rightarrow\ y \sim x$ | * $x \sim y\ \rightarrow\ y \sim x$ | ||
- | * $x \sim y\ \land\ y \leq z\ \rightarrow\ x \sim z$ | + | * $x \sim y\ \land\ y \sim z\ \rightarrow\ x \sim z$ |