A relação R sobre ℤ definida por ∀ x, y ∈ ℤ; x R y, se e somente se, x ≤ y é uma relação de ordem, pois cumpre as seguintes propriedades:
Reflexividade, Simetria e transitividade.
Reflexividade, Anti-simetria e transitividade.
Reflexividade, Simetria e Comutatividade
Associatividade, Anti-simetria e transitividade
