Zum Beispiel ist ≤ = {(0, 0), (0, 1), (1, 1), (0, 2), (1, 2), (2, 2),…} eine 2-stellige Relation in IN.