theorem Th26: :: TAXONOM1:26

for X being non empty finite Subset of REAL
for f being Function of [:X,X:],REAL
for z being non empty finite Subset of REAL
for A being Real st z = rng f & A >= max z holds
for x, y being Element of X holds f . (x,y) <= A