dom exp_R = REAL by FUNCT_2:def 1;