Así que para abreviar, a partir de ese momento podemos representar como una fórmula en lugar de un conjunto.