:: deftheorem defines meets MEMBERED:def 24 :
for X, Y being natural-membered set holds
( not X meets Y iff for n being Nat holds
( not n in X or not n in Y ) );