Fuente TeX:

CONS(\emptyset) \subseteq Th(K_1)\ \ \  \forall K_1 \subseteq K