:: deftheorem Def3 defines convex-membered RLTOPSP1:def 3 :
for V being non empty RLSStruct
for P being Subset-Family of V holds
( P is convex-membered iff for M being Subset of V st M in P holds
M is convex );