for X being non empty integer-membered set ex i being Integer st i in X