for T being non empty TopSpace
for f being V49() RealMap of T
for p being Point of T holds f . p <= upper_bound f