Saltar para o conteúdo

Teoria dos conjuntos/Axioma da extensão

Origem: Wikilivros, livros abertos por um mundo aberto.

O axioma da extensão diz que a única coisa que distingue dois conjuntos são seus elementos. Ou seja, dois conjuntos são iguais se, e somente se, seus elementos são os mesmos. Como só existem conjuntos (ou seja, os elementos dos conjuntos são conjuntos), este axioma diz dois objetos são iguais quando seus elementos são os mesmos.

Formalmente, o axioma se escreve:

A expressão é usada para representar a noção de subconjunto, ou seja, definimos:

como

Segue-se imediatamente que:

Um subconjunto é chamado de subconjunto próprio quando ele não é o próprio conjunto. Por definição:

significa que:

Uma consequência das definições é o resultado seguinte:

Em palavras: se A é um subconjunto próprio de B, então B possui algum elemento que não é elemento de A.

As propriedades seguintes são imediatas das definições, valendo para todos conjuntos A, B, C:

Wikipedia
Wikipedia
A Wikipédia tem mais sobre este assunto:
Axioma da extensão