for s being ExtReal holds ].s,+infty.[ = { g where g is Real : s < g }