Aufgabe:
Sei auf der Menge N die folgende Halbordnung definiert:
a, b ∈ N ~~> [a größergleich b :⇔ a|b]
Man prüfe, ob ( N, gößergleich) = (N, |) ein Minimum besitzt und gebe dieses gegebenenfalls
an.
Kann mir einer erklären, wie ich diese Aufgabe zu lösen habe?
Liebe Grüße
Julia