Expresable

Un conjunto A es expresable por una fórmula α si α tiene una única variable libre y se cumple: a∈A ⇔ I⊧α[v_x=a] A={a∈U/α(a)}