Deje $\varsigma$ ser una relación en $\wp(\mathbb{N})$ definiendo $\langle A,B\rangle\in \varsigma$ fib existen naturales $n$ tal que $|A\Delta B|=n$. Es $\varsigma$ relación de equivalencia?
Reflexiva: Para todos $A \in \wp(\mathbb{N})$, $|A\Delta A|=0$.
simetría: Para todos los $A,B \in \wp(\mathbb{N})$, existe $n$, s.t $|A\Delta B|=|B\Delta A|=n$.
¿Qué acerca de la transitividad?