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