theorem :: RLTOPSP1:30

for X being non empty RLSStruct
for F being circled-membered Subset-Family of X holds meet F is circled