¿Cuáles son los símbolos incluidos?
Los símbolos incluidos son ?, ?, ?. está incluido en el símbolo: A está incluido en B; entonces A es un subconjunto de B o igual a B. Es un símbolo de inclusión: A contiene B; entonces B es un subconjunto de A o igual a A. Inclusión verdadera: A está verdaderamente incluido en B; entonces A es un subconjunto verdadero de B. Si B={1, 2}, entonces A={1} o {2} o el conjunto vacío.
Definición
Si cualquier elemento del conjunto A es un elemento del conjunto B (cualquier a∈A, entonces a∈B), entonces el conjunto A se llama subconjunto del conjunto B, Marcado como A?B o ?B?A, se lee como "el conjunto A está contenido en el conjunto B" o el conjunto B contiene el conjunto A.
Es decir: ?a∈A tiene a∈B, entonces A? B.
Subconjunto adecuado:
Si el conjunto A es un subconjunto de B, y A≠B, es decir, al menos un elemento de B no pertenece a A, entonces A es un verdadero hijo de B. El conjunto se puede escribir como:
Lenguaje simbólico: Si ?a∈A, hay a∈B, y x∈B hace x. ?A, luego A?B