for X being set st X is integer-membered holds
X c= INT