:: deftheorem defines conv CONVEX4:def 26 :
for V being non empty CLSStruct
for M being Subset of V holds conv M = meet (Convex-Family M);