for NTX, NTY being NTopSpace
for XA being Subset of NTX
for fc being continuous Function of NTX,NTY holds fc .: (Cl XA) c= Cl (fc .: XA) by Lm13;