Dado el conjunto Z de los enteros y una relación binaria menor o igual: formula_32 definida entre los enteros, que expresaremos formula_43 y la relación se representa: