theorem :: CONVEX2:7

for V being RealLinearSpace
for M being Subset of V holds Convex-Family M <> {} ;