for V being RealLinearSpace
for M, N being circled Subset of V holds M /\ N is circled