for P, Q, R being Relation st P c= R holds
Q * P c= Q * R