Rappresentato dal simbolo ⊂ {\displaystyle \subset } (is content), - (è contenuto), - ad esempio l'intero A {\displaystyle A} è contenuto all'interno dell'insieme più grande U {\displaystyle U} , A ⊂ U {\displaystyle A\subset U} (in questo caso si dice che A {\displaystyle A} è un subset di U {\displaystyle U} )