Wir definieren eine Relation
Im Moment bedeutet \( \unlhd \) überhaupt nichts.
Wir definieren eine Relation \( \unlhd \) auf \( \mathbb{N} \backslash\{0\} \)
Jetzt ist \( \unlhd \) eine Teilmenge von \((\mathbb{N}\setminus\{0\}) \times (\mathbb{N}\setminus\{0\})\). Welche es ist, wurde noch nicht näher definiert.
\( a \unlhd b: \Leftrightarrow a \mid b \).
Jetzt ist \( \unlhd \) die Menge
\(\{(a,b)\in (\mathbb{N}\setminus\{0\}) \times (\mathbb{N}\setminus\{0\})\ |\ a\text{ ist Teiler von }b\}\).
In anderen Zusammenhängen bedeutet \( \unlhd \) etwas Anderes, das ist aber hier nicht relevant.