for X being non empty Subset of ExtREAL
for z being R_eal holds
( z in X iff - z in - X ) by MEMBER_1:1;