Teoria dos conjuntos/Axioma da extensão

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:

Subconjuntos

editar

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.

Propriedades

editar

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

 
 
 
 

Ver também

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