for R, S being Relation
for Y being set holds (R \/ S) " Y = (R " Y) \/ (S " Y)