Sea formula_18 un conjunto cualquiera, y sea "U" un conjunto abierto tal que formula_81.