| ∈ |
Pertence |
Elemento que está em um conjunto |
3 ∈ {1,2,3,4} |
| ∉ |
Não pertence |
Elemento que não está em um conjunto |
5 ∉ {1,2,3,4} |
| ⊂ |
Subconjunto |
A está contido em B (mas A ≠ B) |
{1,2} ⊂ {1,2,3} |
| ⊆ |
Subconjunto ou igual |
A está contido em B (pode ser igual) |
{1,2,3} ⊆ {1,2,3} |
| ⊄ |
Não é subconjunto |
A não está contido em B |
{2,5} ⊄ {1,2,3} |
| ⊃ |
Superconjunto |
B contém A |
{1,2,3} ⊃ {1,2} |
| ⊇ |
Superconjunto ou igual |
B contém A (pode ser igual) |
{1,2,3} ⊇ {1,2,3} |
| ∪ |
União |
Todos os elementos em A ou B (ou ambos) |
{1,2} ∪ {2,3} = {1,2,3} |
| ∩ |
Interseção |
Elementos comuns a A e B |
{1,2} ∩ {2,3} = {2} |
| ∖ |
Diferença |
Elementos em A mas não em B |
{1,2,3} ∖ {2,3} = {1} |
| Δ |
Diferença simétrica |
Elementos em A ou B, mas não nos dois |
{1,2,3} Δ {3,4} = {1,2,4} |
| ∅ |
Conjunto vazio |
Conjunto sem elementos |
∅ ⊆ {1,2,3} |
| = |
Igualdade |
Conjuntos com os mesmos elementos |
{1,2,3} = {3,2,1} |
| ≠ |
Diferente |
Conjuntos com elementos distintos |
{1,2} ≠ {1,2,3} |
| P(A) |
Conjunto das partes |
Todos os subconjuntos possíveis de A |
P({1,2}) = {∅, {1}, {2}, {1,2}} |
| ℕ |
Números naturais |
{0,1,2,3,...} |
3 ∈ ℕ |
| ℤ |
Números inteiros |
{...,-2,-1,0,1,2,...} |
-5 ∈ ℤ |
| ℚ |
Números racionais |
Frações p/q com q≠0 |
1/2 ∈ ℚ |
| ℝ |
Números reais |
Inclui racionais e irracionais |
√2 ∈ ℝ |
| ℂ |
Números complexos |
a + bi, onde a,b ∈ ℝ |
2 + 3i ∈ ℂ |
| ∀ |
Para todo |
Afirma generalidade |
∀x ∈ ℕ, x ≥ 0 |
| ∃ |
Existe |
Afirma existência |
∃x ∈ ℕ, x é primo |
| | |
Tal que |
Usado em definição de conjuntos |
{x ∈ ℕ | x é par} |
| |A| |
Cardinalidade |
Número de elementos de A |
|{1,2,3}| = 3 |
| ∉ |
Não pertence |
Elemento fora de um conjunto |
7 ∉ {1,2,3} |
| ⊇, ⊃ |
Superconjuntos |
Conjunto maior contendo outro |
{1,2,3} ⊇ {1,2} |
| → |
Função |
Associação entre elementos |
f: A → B |
| ∘ |
Composição |
f∘g significa f(g(x)) |
(f∘g)(x) = f(g(x)) |