for V being RealLinearSpace
for M, N being Affine Subset of V holds M - N is Affine