Definición 1.1: Sea formula_1 un conjunto.