for V being RealLinearSpace
for M being Subset of V holds M c= Cir M