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