theorem Th65: :: CONVEX4:68

for V being non empty CLSStruct
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