Seien X,Y Mengen.Unter einer Relation zwischen X und Y versteht man eine Teilmenge von XxY.

R:= { (x,y) | x, y ∈ NN , ∃ n ∈ NN y=x+n }