theorem :: RELSET_3:16

for z being Complex
for X being complex-membered set holds (addRel (X,z)) ~ = addRel (X,(- z))