for Y being set
for P, R being Relation holds (P * R) " Y = P " (R " Y)