Enfoque constructivista de la inclusión de conjuntos, independiente de verdades vacuas.

Distinguir entre inclusión elemental y estructural, un camino constructivista para formalizar la inclusión del vacío