for A, B being set
for R being Relation of A,B holds R .: A = ((R ~) * R) .: B