theorem Th15: :: CONVEX1:15

for V being non empty RLSStruct
for F being Subset-Family of V st ( for M being Subset of V st M in F holds
M is convex ) holds
meet F is convex