for M being MidSp
for x being set holds
( x is Vector of M iff x in setvect M )