theorem :: RELSET_3:26

for q being Rational
for X being rational-membered set holds addRel (X,q) = ((curry addrat) . q) |_2 X