for r being Real
for X being Subset of REAL
for q3 being Real holds
( r in X iff q3 + r in q3 ++ X )