for X being non empty set
for G being Function of X,ExtREAL st G is V99() holds
On G is V99()