set f = X --> (0. Y);
reconsider f = X --> (0. Y) as Function of X,Y ;
dom f = X ;
then reconsider g = f as PartFunc of REAL,Y by RELSET_1:5;
dom g = X ;
hence not ContinuousFunctions (X,Y) is empty by Def2; :: thesis: verum