:: deftheorem Def1 defines circled CIRCLED1:def 1 :
for V being non empty RLSStruct
for M being Subset of V holds
( M is circled iff for u being VECTOR of V
for r being Real st |.r.| <= 1 & u in M holds
r * u in M );