:: deftheorem Def7 defines circled-membered RLTOPSP1:def 7 :
for X being non empty RLSStruct
for F being Subset-Family of X holds
( F is circled-membered iff for V being Subset of X st V in F holds
V is circled );