theorem :: RLTOPSP1:23

for V being non empty RLSStruct
for F being convex-membered Subset-Family of V holds meet F is convex