Auf einer Teilmenge M von Z kann man folgendermaßen eine homogene Relation definieren:
\( a \mid b: \Leftrightarrow \exists x \in \quad Z: a * x=b \)
Dies ist die sogenannte Teilt - Relation.
a) Zeigen Sie, das die Teilt- Relation auf Z eine Präordnung ist, aber keine Halbordnung!
b) Zeigen Sie , dass die Teilt - Relation auf N eine Halbordnung!