:: deftheorem defines meets MEMBERED:def 22 :
for X, Y being rational-membered set holds
( not X meets Y iff for w being Rational holds
( not w in X or not w in Y ) );