Soient deux ensembles. On dit que :
| est moins puissant que | s’il existe une injection | |
| est plus puissant que | s’il existe une surjection | |
| et sont équipotents | s’il existe une bijection | . |
1
Démontrer que : ( est moins puissant que ) ( est plus puissant que ).
2
Montrer que , , tq est divisible par , et sont deux à deux équipotents.
3
Démontrer que est moins puissant que .
4
Soit quelconque et tq . Prouver que .
5
Est-ce que et peuvent être équipotents ?
6
Soit un troisième ensemble. Si est moins puissant que , démontrer que est moins puissant que .