Нека [tex]Q(\sqrt 2)=\{x+y\sqrt(2):x,y \in Q \}[/tex]. Дефинираме релацията [tex]\sim[/tex] в [tex]Q(\sqrt 2) \text{\ } \{0\}[/tex]чрез
[tex]\alpha \sim \beta \Leftrightarrow \exists p \in Q(\alpha = p \beta[/tex]или [tex]\alpha\beta = p)[/tex]
Да се провери дали [tex]\sim[/tex] е релация на еквивалентност.

Меню