Lista de teorias de primeira ordem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Dalmo 3 (discussão | contribs)
Dalmo 3 (discussão | contribs)
Linha 140:
* ''R'' for '''anti-simétrica''', ou seja, ''R'' é tal que se ''aRb'' e ''bRa'' então ''a=b''.
 
* ''R'' for '''transitiva''', onde ''aRb'' e ''bRc'' implicam que ''aRc''.
 
Ex: As relações ('''N''', ≤), (℘(''A''), ⊆), ('''R''', =) são de ordem parcial.
Linha 164:
 
* Todo elemento ''a'' ∈ ''A'', que não é um último elemento, tem um sucessor imediato.
 
 
==Anéis e corpos==