Se nota formula_4 el conjunto vacío: