theorem Th28: :: MEASURE6:28

for A being Interval
for x being Real holds
( A is right_open_interval iff x ++ A is right_open_interval )