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

Jede nichtleere Teilmenge

besitzt ein Minimum.