theorem :: CONVEX2:1

for V being non empty RLSStruct
for M, N being convex Subset of V holds M /\ N is convex ;