:: deftheorem defines meets MEMBERED:def 21 :
for X, Y being real-membered set holds
( not X meets Y iff for r being Real holds
( not r in X or not r in Y ) );