for V being RealLinearSpace
for A, B being circled Subset of V holds A - B is circled