for X being non empty set
for Y being non empty Subset of ExtREAL
for F being Function of X,Y
for x being Element of X holds
( -infty <= F . x & F . x <= +infty ) by XXREAL_0:4, XXREAL_0:5;