Fuente TeX:

CONS(\emptyset) \subseteq Th(A)\ \ \  \forall A