theorem
  for X,Y be set st X c= Y holds X <=_ Y;
