theorem :: CONVEX1:10

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