reserve a,b,c,d,x,y,z for object, X,Y,Z for set;
reserve R,S,T for Relation;
reserve F,G for Function;

theorem Th19:
  (R |_2 X) |_2 Y = R |_2 (X /\ Y)
proof
  thus (R |_2 X) |_2 Y = R /\ ([:X,X:] /\ [:Y,Y:]) by XBOOLE_1:16
    .= R |_2 (X /\ Y) by ZFMISC_1:100;
end;
