Fuente TeX:

Cons(Cons(\Gamma))\subseteq Cons(\Gamma) \;\; y \;\; Cons(\Gamma)\subseteq Cons(Cons(\Gamma))