theorem :: CIRCLED1:7

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