for r being Real
for seq being Real_Sequence holds
( r in rng seq iff - r in rng (- seq) )