Domínio de integridade: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Revertidas edições por Quelle horreur para a última versão por Addbot, de 13h37min de 28 de março de 2013 (UTC) |
Corrigi lista de propriedades, que estava com três itens "1.". |
||
Linha 2:
# <math>\exists 1 \in D \ (1 \ne 0 \land \forall x \in D \ (1 . x = x . 1 = x))</math> ([[elemento neutro]])
# <math>\forall x,y \in D \ (x . y = y . x)</math> ([[comutatividade]])
# <math>\forall x,y \in D \ (x . y = 0 \rightarrow (x = 0 \lor y = 0))</math> (não existem [[divisor de zero|divisores de zero]])
| |||