I Quote: "let $X$ be any set, and let $R$ be the set of all those pairs $(x, y)$ in $X\times X$ for which $x = y$. The relation $R$ is just the relation of equality between elements of $X$; if $x$ and $y$ are in $X$, then $xRy$ means the same as $x = y$.

my question is about "for which $x = y$", what does it mean for two elements to be equal?


It means $\forall a : a\in x \Leftrightarrow a\in y$. But on a more serious note, I think you are just a bit confused. The relation $R$ would be commonly written as $$R = \{ (x,x) : x\in X\}$$

For example, if $X= \{1,2,3\}$, then $R = \{(1,1),(2,2),(3,3)\}$.

  • $\begingroup$ Also note that $(\forall \, a\,( a\in x \iff a \in y)) \rightarrow x = y$ is an axiom. $\endgroup$ – YoTengoUnLCD Jul 1 '16 at 15:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.