for V being RealLinearSpace
for M, N being Subset of V st M is convex & N is convex holds
M - N is convex