theorem
  A c= R implies A is Relation of X,Y by XBOOLE_1:1;
