Relacion+de+Inclusión


 * //RELACIÓN DE INCLUSIÓN //**

Esta relación es recíproca la relación de contenencia, se dice que un conjunto está incluido en otro cuando todos los elementos del primero pertenecen al otro conjunto, en este caso de define cuando un conjunto es subconjunto de otro. Da igual manera un conjunto contiene a otro cuando los elementos del segundo pertenecen al primero.


 * SÍMBOLO: **

С = “está incluido en” ( subconjunto )

Э = “contiene a”


 * FÓRMULA: **

B С A: x €B = x C A

С = no está incluido. Э = no contiene a.

no es subconjunto

Estas relaciones son exclusivas entre conjuntos, luego a cada lado del símbolo deben existir letras mayúsculas.

Se admite que el conjunto vacío es subconjunto de cualquier otro, de igual forma todo conjunto es subconjunto de si mismo.


 * EJEMPLO: **

- Conjunto de los números reales mayores que -2 y menores o iguales que 3 - Conjunto de los números reales mayores o iguales que -1 y menores o iguales que 1.

B = -1, 0, 1, 2, 3

A = -1, 0, 1

   A Э B = B С A
 *  A ** es Subconjunto de **B**


 * PROPIEDADES DE LA INCLUSIÓN **


 * 1) **** Reflexiva.- **<span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%;">para todo conjunto A se cumple que todo conjunto está incluido a sí mismo.

A С A


 * <span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%; mso-fareast-font-family: Arial; msofareastfontfamily: Arial; msolist: Ignore;">2) ****<span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%;">Asimétrica.- **<span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%;">para todo conjunto A y B se cumple que si A está incluido en B.

A С B ^ B С A = A = B


 * <span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%; mso-fareast-font-family: Arial; msofareastfontfamily: Arial; msolist: Ignore;">3) ****<span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%;">Transitiva.- **

<span style="font-family: 'Arial','sans-serif'; font-size: 12pt; line-height: 115%;">A С B ^ B С A A С C

Si se cumple las 3 propiedades se dice que existe una relación de orden.

Si al comparar dos conjuntos y estos no se incluyen entre A y B en este caso se dice que los dos conjuntos no son comparables.