Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

equivalence_relation [2007/03/30 20:45]
vkuncak
equivalence_relation [2007/03/30 20:45] (current)
vkuncak
Line 9: Line 9:
   * $x \sim y\ \land\ y \sim z\ \rightarrow\ x \sim z$   * $x \sim y\ \land\ y \sim z\ \rightarrow\ x \sim z$
  
-Given an equivalence relation $\sim$, we define the set of equivalence classes $A_{\sim}$ by+Given an equivalence relation $\sim$, we define the set of equivalence classes $A_{/\sim}$ by
 \begin{equation*} \begin{equation*}
-  A_{\sim} = \{ \{y \mid x \sim y\} \mid x \in A \}+  A_{/\sim} = \{ \{y \mid x \sim y\} \mid x \in A \}
 \end{equation*} \end{equation*}
  
Line 20: Line 20:
   x \sim y\ \iff\ \exists S \in P. \{x,y\} \subseteq S   x \sim y\ \iff\ \exists S \in P. \{x,y\} \subseteq S
 \end{equation*} \end{equation*}
-is an equivalence relation such that $A_{\sim} = P$.+is an equivalence relation such that $A_{/\sim} = P$.
  
 
equivalence_relation.txt · Last modified: 2007/03/30 20:45 by vkuncak