reserve X,Y,Z,x,y,z for set;
reserve T,R for Tolerance of X;

theorem
  {} is Tolerance of {} by RELSET_1:12;
