for x being object st x is G_RAT holds
x in G_RAT_SET ;