:: deftheorem Def4 defines rational-membered MEMBERED:def 4 :
for X being set holds
( X is rational-membered iff for x being object st x in X holds
x is rational );