:: deftheorem Def3 defines ContMaps WAYBEL24:def 3 :
for S being TopStruct
for T being non empty TopRelStr
for b₃ being strict RelStr holds
( b₃ = ContMaps (S,T) iff ( b₃ is full SubRelStr of T |^ the carrier of S & ( for x being set holds
( x in the carrier of b₃ iff ex f being Function of S,T st
( x = f & f is continuous ) ) ) ) );