for F being ext-real-membered set
for f being ExtReal holds
( f in F iff - f in -- F )