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