theorem :: CIRCLED1:8

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