theorem Th20: :: WAYBEL24:20

for S being non empty TopSpace
for T being non empty TopSpace-like reflexive TopRelStr
for x, y being Element of (ContMaps (S,T)) holds
( x <= y iff for i being Element of S holds [(x . i),(y . i)] in the InternalRel of T )