for R1, R2 being Relation holds R1 \, R2 c= R1 \/ R2