reserve r,s,t,u for Real;

theorem
  for X being non empty RLSStruct, M being Subset of X, x being Point of
  X, r being Real st x in M holds r*x in r*M;
