Mulțimi finite ordonate
Fie M o mulţime.
Mulțimea finită
Mulţimea M se numeşte mulţime finită dacă este mulţimea vidă ( notată cu ) sau dacă există un număr natural n, astfel încât elementele ei se pot numerota astfel m1, m2, m3, ... , mn.
Cardinalul mulțimii M
Numărul natural n pentru care reprezintă numărul de elemente sau cardinalul mulţimii M.
Acesta se notează astfel: n = card (M).
Exemple:
Cum mulţimea vidă are zero elemente, atunci cardinalul ei este: ;
Mulţimea are trei elemente, deci ;
Fie mulţimea divizorilor lui 12, notată cu . Această mulțime are card , adică numărul de elemente din mulţime este 6.
Observații:
- Dacă M este o mulţime finită, orice submulţime P a acesteia este finită şi .
- Dacă M şi P sunt mulţimi finite, atunci mulţimil