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