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