Definition. (Relation)

(1) $R$ ist eine 2-stellige Relation

=Df

Es gibt Mengen

M

und

N

, so daß

R \subseteq M \times N

(2) $R$ ist eine $n$ -stellige Relation ( $n \geq 1$ )

=Df

Es gibt Mengen

M_{1}, \dots, M_{n}

, so daß

R \subseteq M_{1} \times \dots \times M_{n}

(3) $R$ ist eine $n$ -stellige Relation in M ( $n \geq 1$ )

=Df

R \subseteq \underset{n - m a l}{\underset{︸}{M \times \dots \times M}}