for V being non empty CLSStruct
for M being Subset of V st M is Affine holds
M is convex