:: deftheorem defines . MIDSP_2:def 13 :
for M being MidSp
for W being AtlasStr over M
for a, b being Point of M holds W . (a,b) = the function of W . (a,b);