:: deftheorem Def6 defines circled RLTOPSP1:def 6 :
for X being non empty RLSStruct
for A being Subset of X holds
( A is circled iff for r being Real st |.r.| <= 1 holds
r * A c= A );