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