for A, B being set
for R being Relation of A,B holds (R `) ~ = (R ~) `