donde T es una variable tipo tupla y φ(T) es una fórmula que describe a T.