14 relações: Axioma da escolha, Conjunto, Conjunto finito, Conjunto vazio, Função bijectiva, Indução transfinita, John Wiley & Sons, Lema de Zorn, Matemática, Número natural, Princípio da boa ordenação, Relação bem-fundada, Relação de ordem, Subconjunto.
Axioma da escolha
Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".
Novo!!: Relação bem-ordenada e Axioma da escolha · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Relação bem-ordenada e Conjunto · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Relação bem-ordenada e Conjunto finito · 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!!: Relação bem-ordenada e Conjunto vazio · Veja mais »
Função bijectiva
Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora, como é mais comum em português brasileiro).
Novo!!: Relação bem-ordenada e Função bijectiva · Veja mais »
Indução transfinita
Em matemática, e em especial na teoria dos conjuntos, a indução transfinita é uma técnica matemática rigorosa que permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas.
Novo!!: Relação bem-ordenada e Indução transfinita · Veja mais »
John Wiley & Sons
A John Wiley & Sons, Inc.
Novo!!: Relação bem-ordenada e John Wiley & Sons · Veja mais »
Lema de Zorn
O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal.
Novo!!: Relação bem-ordenada e Lema de Zorn · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Relação bem-ordenada e Matemática · 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!!: Relação bem-ordenada e Número natural · Veja mais »
Princípio da boa ordenação
O Princípio da boa ordenação ou princípio da boa ordem diz que todo subconjunto não-vazio formado por números naturais possui um menor elemento.
Novo!!: Relação bem-ordenada e Princípio da boa ordenação · Veja mais »
Relação bem-fundada
Em matemática, uma relação binária R\subseteq X\times X é uma relação bem-fundada numa classe X, se e somente se, todo subconjunto não vazio de X, tiver um elemento R-minimal; ou seja, para todo subconjunto não vazio S de X, existe um elemento m de S tal que para todo elemento s de S, o par (s,m) não está em R. Em outras palavras, todo subconjunto não vazio de X possui um elemento m tal que para todo s, s \not\in m. Desta forma, evitamos situações de loop.
Novo!!: Relação bem-ordenada e Relação bem-fundada · 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!!: Relação bem-ordenada e Relação de ordem · 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!!: Relação bem-ordenada e Subconjunto · Veja mais »
Redireciona aqui:
Bem ordenada, Bem ordenado, Bem-ordenada, Bem-ordenado, Conjunto bem-ordenado, Relação bem ordenada.