17.15. Tétel
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ó.
♣