O símbolo do subconjunto indica uma relação específica entre dois conjuntos. O símbolo se parece com as letras maiúsculas U e I colocadas juntas em uma fonte sans-serif, e rodou 90 graus no sentido horário. As relações de subconjuntos formam a base da lógica matemática, incluindo a álgebra booleana, que é importante no design de computadores e sistemas de processamento de sinais.
Suponha que existem dois conjuntos A e B. A declaração "Conjunto A é um subconjunto do conjunto B" é escrita A 
B. Isto significa que cada elemento contido no conjunto A também está contido no conjunto B. Qualquer conjunto é, por padrão, um subconjunto de si mesmo. Também, o conjunto vazio (também chamado de conjunto nulo) é um subconjunto de qualquer conjunto.
Aqui estão alguns exemplos de afirmações verdadeiras usando o símbolo do subconjunto:
{1, 2, 3, 4, 5, ... } {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4, ...} {0, 1, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4} {0, 1, 2, 3, 4, ...}
{-2, -3, 4} {-2,-2.5, -3, -3.5, -4}
As seguintes afirmações, contudo, não são verdade:
{-1, 0, 1, 2, 3, ...} {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4, ...} {0, -1, -2, -3, -4, ...}
{-2,-2.5, -3, -3.5, -4} {-2, -3, 4}
Sets podem conter outras coisas além de números. Exemplos são pontos num plano, pontos numa superfície esférica, e pontos num espaço tridimensional ( 3D ). As relações de subconjuntos podem ser expressas em termos de ilustrações especializadas chamadas diagramas Venn. Na ilustração abaixo, A B, e C B. As seguintes afirmações também são verdadeiras: A A, B B, e C B.jpg"> C. Contudo, não é verdade que B A, nem é verdade que A C, nem é verdade que B C.
 |
>Compare o símbolo do subconjunto adequado. Veja também teoria do conjunto e Símbolos Matemáticos.