for T being TopStruct
for f being RealMap of T st f is continuous holds
- f is continuous