En
mathématiques, l’
inclusion est une
relation d'ordre entre
ensembles. On dit qu'un ensemble est inclus dans un ensemble si tous les
éléments de sont aussi éléments de . On dit dans ce cas que est un
sous-ensemble ou une
partie de , ou encore que est
sur-ensemble de .