for A being Subset of REAL
for x being Real st x in -- A holds
ex a being Real st
( a in A & x = - a )