En
mathématiques, la notion de
classe généralise celle d'
ensemble. Les deux termes sont parfois employés comme synonymes, mais la
théorie des ensembles distingue ces deux notions. Un ensemble peut être vu comme une collection d'objets, mais aussi comme un objet mathématique, qui en particulier peut lui-même appartenir à un autre ensemble. Ce n'est pas forcément le cas d'une classe, qui est une collection d'objets que l'on peut définir, dont on peut donc parler, mais qui ne forme pas nécessairement un ensemble. Quand une classe n'est pas un ensemble, elle est appelée
classe propre. Elle ne peut alors être élément d'une classe (ni,
a fortiori, d'un ensemble).