Partie non vide d’un ensemble E, différente de E.
Exemples
Soit l’ensemble E = {a, b, c, d, e}
- L’ensemble A = {a, b} est une partie propre de E.
- L’ensemble vide Ø = { } n’est pas une partie propre de E.
- L’ensemble E n’est pas une partie propre de E.