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,