for X being non empty set
for f being V183() V184() Function of X,ExtREAL holds f is Function of X,REAL