Relações de ordem em N

Ângelo Bezerra, Iago Cossentino, José Gabriel

April 2, 2018

Definição 1 Seja R uma relação binária em um conjuto não vazio A e x, y, z elementos quaisquer
de A. Dizemos que R é uma relação de ordem em A quando satisfaz as seguintes condições:

1. Reflexividade: xRx
2. Antissimetria: Se xRy e yRx, então x = y
3. Transitividade: Se xRy e yRz, então xRz
Um conjunto A 6= ∅, munido de uma relação de ordem, diz-se um conjunto ordenado.