:: deftheorem Def5 defines integer-membered MEMBERED:def 5 :
for X being set holds
( X is integer-membered iff for x being object st x in X holds
x is integer );