theorem :: SUPINF_2:6

for X, Y being non empty Subset of ExtREAL holds
( X c= Y iff - X c= - Y ) by MEMBER_1:3;