Si tous les membres de set sont également membres de set, alors est un sous-ensemble de, dénotés.
Si tous les membres de l'ensemble sont également membres de set, alors est un sous-ensemble de, le marquage.