A relação R sobre !$ \mathbb{Z} !$ definida por !$ \forall\,x\,y\,\in \mathbb{Z}\,x\,R\,y !$, se e somente se, x !$ \le !$ y é uma relação de ordem, pois cumpre as seguintes propriedades: