Se due elementi si “relazionano” in entrambe le direzioni, allora devono essere lo stesso elemento.
$$ x \sim y \wedge y \sim x \Rightarrow x=y $$