Álgebra abstrata/Números naturais: diferenças entre revisões

Tomemos uma relação binária <math> \approx </math> sobre uma conjunto não vazio A. A relação <math> \approx </math> é uma relação de equivalência sobre A se:

* ([[w:reflexividade|reflexividade]]) <math> x \approx x </math> para todo <math> x \in A </math>;

* ([[w:transitividade|transitividade]]) Se <math> x \approx y </math> e <math> y \approx z </math>, então <math> x \approx z </math>.