Álgebra abstrata/Números naturais: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 17:
=== [[w:relação de equivalência|Relação de Equivalência]] ===
Tomemos um subconjunto S de AxA. S têm uma relação de equivalência sobre A se:
* ([[w:reflexividade|reflexividade]]) <math> (x,x) \in R \; \forall \; x \in A </math>;
* ([[w:simetria|simetria]]) <math> (x,y) \in R \Rightarrow (y,x) \in R </math>;
* ([[w:transitividade|transitividade]]) <math> (x,y) \in R, (y,z) \in R \Rightarrow (x,z) \in R </math>;
Uma relação <math>=</math> é chamada de '''relação de equivalência''' se forem satisfeitos os seguintes axiomas:
# Reflexividade
| |||