for X being ext-real-membered set st +infty is LowerBound of X holds
X c= {+infty}