Universida central del ecuador

Pablo Andres Guillen

informatica 1 B
matematica
22/junio/2016
Inclusin
Sean A y B dos conjuntos, si cada elemento de A es elemento de B diremos que A est incluido en
B, o bien que A es parte de B, o que A es un subconjunto de B, y lo escribimos A B.
A menudo ser necesario demostrar que un conjunto es parte de otro entonces, de acuerdo a la
definicin, ser suficiente demostrar que cualquier elemento del primero pertenece al segundo.
Asimismo, teniendo en cuenta la equivalencia entre una implicacin y la contrarecproca, la
definicin anterior puede expresarse as:
A B!x:xB!xA
Igualdad de conjuntos
Nos resulta sencillo darnos cuenta que dos conjuntos son iguales si tienen los mismos elementos.
Volviendo al ejemplo anterior, supongamos ahora que todos los libros de mi coleccin son de
matemtica, entonces, que A B, pero a su vez B A y llegamos a la conclusin de que ambos
conjuntos son iguales.
Conjuntos iguales: se dice que un conjunto M es igual al conjunto N, cuando tiene los mismos
elementos que ste y todo elemento M pertenece al conjunto N y todo elemento N pertenece al
conjunto M.

Tambin se define la igualdad entre conjuntos por medio de la inclusin.

Dos conjuntos M y N son iguales si y slo si el primero est incluido en el segundo y
recprocamente.

Propiedades de la inclusin de la igualdad