Categoria:Teoria dos conjuntos

• Teoria dos conjuntos

*

• Combinatória infinitária
• Princípio da Escolha Dependente

A

• Adição de Minkowski
• Árvore (teoria dos conjuntos)
• Árvore de Aronszajn
• Árvore de Suslin
• Átomo de Quine
• Axioma do conjunto vazio
• Axioma de construtibilidade
• Axioma da separação
• Axioma de Martin
• Axioma da escolha
• Axioma da extensão
• Axioma do infinito
• Axioma do par
• Axioma da potência
• Axioma da regularidade
• Axioma da substituição
• Axioma da união
• Axiomas de Zermelo-Fraenkel

C

• Argumento de diagonalização de Cantor
• Cardinais regulares e singulares
• Cardinal inacessível
• Cardinal mensurável
• Cardinal Woodin
• Cardinalidade do contínuo
• Classe (teoria dos conjuntos)
• Classe de equivalência
• Cofinalidade
• Complementar
• Composição de funções
• Conjunto
• Conjunto causal
• Conjunto contínuo
• Conjunto de Julia
• Conjunto de partes
• Conjunto imagem
• Conjunto infinito
• Conjunto ordinal definível
• Conjunto quociente
• Conjunto transitivo
• Conjunto universo
• Conjunto vazio
• Conjuntos disjuntos
• Conjuntos hereditariamente finitos
• Contradomínio
• Cota superior

D

• Dedekind-infinito
• Desigualdade de Boole
• Diagrama de Euler
• Diagrama de Venn
• Diferença (álgebra relacional)
• Domínio (matemática)

E

• Elemento (matemática)
• Elemento minimal
• Eliminação de quantificadores
• Enumeração
• Equipotência

F

• Família de conjuntos
• Família indexada
• Fecho reflexivo
• Filtro (teoria dos conjuntos)
• Forçamento
• Função binária
• Função injectiva
• Função inversa
• Função multivalorada
• Função parcial
• Função sobrejectiva

H

• Hiperconjunto
• Hipótese do continuum
• Hotel de Hilbert

I

• Imagem recíproca
• Indução transfinita
• Infinito contável
• Interseção
• Intransitividade

J

• Junção externa (álgebra relacional)

L

• Lema de Zorn

M

• Maioria
• Multiconjunto

N

• Naipe de paus (matemática)
• Noção primitiva
• Número aleph
• Número de Hartogs

O

• O de Kleene

P

• Ênupla ordenada
• Par ordenado
• Paradoxo de Burali-Forti
• Paradoxo de Cantor
• Paradoxo de Russell
• Partição de um conjunto
• Princípio da boa ordenação
• Princípio diamante
• Princípio maximal de Hausdorff
• Problema de Suslin
• Produto cartesiano
• Produto cartesiano (álgebra relacional)
• Propriedade de grande cardinal

R

• Relação antissimétrica
• Relação assimétrica
• Relação bem-fundada
• Relação bem-ordenada
• Relação de equivalência
• Relação de ordem
• Relação inversa
• Relação reflexiva
• Relação simétrica
• Relação transitiva

S

• Segmento inicial (matemática)
• Subconjunto

T

• Teorema de Cantor-Bernstein-Schroeder
• Teorema da extensão de Szpilrajn
• Teorema de Goodstein
• Teorema de Nielsen–Schreier
• Teoria dos conjuntos de Von Neumann-Bernays-Gödel
• Teoria de conjuntos de Zermelo
• Teoria descritiva de conjuntos
• Teoria dos conjuntos de Tarski-Grothendieck
• Teoria dos Conjuntos Kripke-Platek
• Teoria ingênua dos conjuntos
• Teoria dos modelos
• Transformação fracionária linear

U

• Ultrafiltro
• União (matemática)
• União disjunta
• Universo de Grothendieck
• Universo de von Neumann
• Urelemento