Al conjunto formula_1 se le llama también dominio de formula_133, y se le denota por formula_134.