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