Dado el conjunto N de los números naturales y una relación binaria menor o igual: formula_32 definida entre los números naturales, que expresaremos formula_33 y la relación se representa: