Natürliche Zahlen/Nichtleere Teilmengen/Hat Minimum/Fakt

Aus Wikiversity

Jede nichtleere Teilmenge

besitzt ein Minimum.