Acesso mais rápido do que o navegador!
21 relações: Axioma da extensão, Conjunto, Conjunto de partes, Conjunto parcialmente ordenado, Conjunto vazio, Função inclusão, Isomorfismo, Número inteiro, Número natural, Número ordinal, Número primo, Número real, Notação matemática, Quantificação universal, Relação, Relação antissimétrica, Relação de ordem, Relação reflexiva, Relação transitiva, Tautologia (lógica), Teoria dos conjuntos.
Axioma da extensão
O axioma da extensão, também chamado axioma da extensionalidade ou ainda axioma da unicidade, cumpre, na teoria dos conjuntos de Zermelo-Fraenkel, o papel de estabelecer como as relações de pertinência (\in) e igualdade de conjuntos (.
Novo!!: Subconjunto e Axioma da extensão · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Subconjunto e Conjunto · Veja mais »
Conjunto de partes
A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.
Novo!!: Subconjunto e Conjunto de partes · Veja mais »
Conjunto parcialmente ordenado
Na matemática, especialmente na Teoria da ordem, um conjunto parcialmente ordenado (poset, em inglês partially ordered set) é um conjunto equipado com uma relação binária de ordem parcial.
Novo!!: Subconjunto e Conjunto parcialmente ordenado · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Subconjunto e Conjunto vazio · Veja mais »
Função inclusão
Em matemática, a função inclusão é uma função que dá como imagem de cada objecto o próprio objecto.
Novo!!: Subconjunto e Função inclusão · Veja mais »
Isomorfismo
Na álgebra abstrata, um isomorfismo é um homomorfismo bijetivo.
Novo!!: Subconjunto e Isomorfismo · Veja mais »
Número inteiro
Um número inteiro é um número que pode ser escrito sem um componente fracional.
Novo!!: Subconjunto e Número inteiro · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Subconjunto e Número natural · Veja mais »
Número ordinal
Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.
Novo!!: Subconjunto e Número ordinal · Veja mais »
Número primo
Números primos são os números naturais maiores que um que não são produtos de dois números naturais menores Número primo é qualquer número p cujo conjunto dos divisores não inversíveis não é vazio, e todos os seus elementos são produtos de p por números inteiros inversíveis.
Novo!!: Subconjunto e Número primo · Veja mais »
Número real
Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.
Novo!!: Subconjunto e Número real · Veja mais »
Notação matemática
O símbolo de infinito (\infty) em vários estilos de caracteres. Notação matemática é uma linguagem cuja grafia e semântica se utiliza dos símbolos matemáticos e da lógica matemática, respectivamente.
Novo!!: Subconjunto e Notação matemática · Veja mais »
Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.
Novo!!: Subconjunto e Quantificação universal · Veja mais »
Relação
Sem descrição
Novo!!: Subconjunto e Relação · Veja mais »
Relação antissimétrica
Em matemática, uma relação antissimétrica é uma relação binária R em um conjunto X quando não há um par de elementos distintos de X, cada um deles relacionado por R ao outro.
Novo!!: Subconjunto e Relação antissimétrica · Veja mais »
Relação de ordem
Em matemática e em lógica matemática, especialmente em teoria dos conjuntos e em teoria das relações, uma relação de ordem é uma relação binária que pretende captar o sentido intuitivo de relações como o maior e o menor, o anterior e o posterior, etc.
Novo!!: Subconjunto e Relação de ordem · Veja mais »
Relação reflexiva
Na matemática, uma relação reflexiva é uma relação binária R sobre um conjunto X em que cada elemento de X está relacionado a si mesmo.
Novo!!: Subconjunto e Relação reflexiva · Veja mais »
Relação transitiva
Na matemática, relação transitiva é a que se estabelece entre três elementos de um mesmo conjunto de tal forma que se o primeiro tem relação com o segundo e este tem relação com um terceiro, então o primeiro elemento tem relação com o terceiro.
Novo!!: Subconjunto e Relação transitiva · Veja mais »
Tautologia (lógica)
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.
Novo!!: Subconjunto e Tautologia (lógica) · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Subconjunto e Teoria dos conjuntos · Veja mais »
Redireciona aqui:
Inclusão de conjuntos, Subconjunto próprio, Superconjunto, Superconjunto próprio.
