for x being Element of COMPLEX holds COMPLEX --> x is_continuous_on COMPLEX