Seien M, N Mengen so ist jede Teilmenge R von M times N eine Relation. M times N ist das kartesische Produkt zweier Mengen. Dabei besteht R aus einer Menge geordneter Paare (x,y), wobei x in M ; mathrm{und} ; y in N ist. Eine Teilmenge von A times A ...