Está claro, esperamos, a partir de la definición de un subconjunto, que dado cualquier conjunto queA tengamosA⊆A y∅⊆A. si noA está vacío, entonces\(A\...Está claro, esperamos, a partir de la definición de un subconjunto, que dado cualquier conjunto queA tengamosA⊆A y∅⊆A. si noA está vacío, entoncesA se llama un subconjunto impropio deA. Todos los demás subconjuntos deA, incluyendo el conjunto vacío, se llaman subconjuntos apropiados deA. El conjunto vacío es un subconjunto incorrecto de sí mismo.
