Em teoria dos conjuntos, quando todo elemento de um conjunto  é também elemento de um conjunto dizemos que é um subconjunto ou uma parte de ; e denotamos (lê-se: está contido em ; ou é subconjunto de ; ou é uma parte de ) ou ainda (lê-se: contém ; ou é superconjunto de ; ou tem como parte). Esta relação é conhecida por inclusão de conjuntos. Em linguagem simbólica,