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