for A being ext-real-membered set holds
( A is bounded_below iff inf A <> -infty )