Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Urelemento

Índice Urelemento

Em matemática, mais exatamente em teoria dos conjuntos, um urelemento ou ur-elemento (onde ur- é um prefixo alemão com o significado de “primordial&rdquo) é um objeto (concreto ou abstrato) que não é um conjunto, mas que pode ser um elemento de um conjunto.

8 relações: Axioma da extensão, Classe (teoria dos conjuntos), Conjunto, Conjunto vazio, Elemento (matemática), Língua alemã, Lógica de primeira ordem, 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!!: Urelemento e Axioma da extensão · Veja mais »

Classe (teoria dos conjuntos)

Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado.

Novo!!: Urelemento e Classe (teoria dos conjuntos) · Veja mais »

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Urelemento e Conjunto · 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!!: Urelemento e Conjunto vazio · Veja mais »

Elemento (matemática)

Na matemática, um elemento, ou membro, é um dos objetos distintos que constituem um conjunto.

Novo!!: Urelemento e Elemento (matemática) · Veja mais »

Língua alemã

Alemão (Deutsch) é uma língua germânica ocidental que é falada principalmente na Europa Central.

Novo!!: Urelemento e Língua alemã · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Urelemento e Lógica de primeira ordem · 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!!: Urelemento e Teoria dos conjuntos · Veja mais »

Redireciona aqui:

Elemento primordial, Ur-elemento, Urelementos.

CessanteEntrada
Ei! Agora estamos em Facebook! »