3 relações: Axiomas de Zermelo-Fraenkel, Extensionalidade, Subconjunto.
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Axioma da extensão e Axiomas de Zermelo-Fraenkel · Veja mais »
Extensionalidade
Em lógica ou linguística, o conceito de extensionalidade se refere à definição da identidade entre objetos ou vocábulos distintos pelo fato de eles apresentarem as mesmas propriedades externas.
Novo!!: Axioma da extensão e Extensionalidade · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Axioma da extensão e Subconjunto · Veja mais »
Redireciona aqui:
Axioma da extensionalidade, Axioma da unicidade, Igualdade de conjuntos.