for x being object st x is G_INTEG holds
x in G_INT_SET ;