for X being non empty set
for f being PartFunc of X,ExtREAL st rng f is real-bounded holds
f is V71()