En mathématiques, en théorie des ensembles, on appelle sous-ensemble propre d'un ensemble E tout sous-ensemble de E distinct de E.
Par exemple {0,1} est un sous-ensemble propre de {0,1,2}.