for X being non empty real-membered set ex r being Real st r in X