theorem :: CONVEX4:59

for V being non empty CLSStruct
for M being Subset of V st M = {} holds
M is convex ;