A természetes számok minimumtétele

Ha $P$ a természetes számok $\N$ halmazának tetszőleges nemüres részhalmaza, akkor $P$-nek van minimuma a 15.18. Tétel szerinti $\leq$ relációra nézve. Minimum alatt egy olyan $P$-beli $p$ elem létezését értjük, amelyre tetszőleges, szintén $P$-beli $q$ elem esetén teljesül a $p\leq q$ reláció.

♣

• ↓Alárendelt lap:Bizonyítás
• ↓Alárendelt lap:Megjegyzés