for A being set
for Q, R being Relation st Q | A = R | A holds
Q .: A = R .: A