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