for X being ext-real-membered set holds -infty is LowerBound of X