:: deftheorem defines meets MEMBERED:def 19 :
for X, Y being complex-membered set holds
( not X meets Y iff for c being Complex holds
( not c in X or not c in Y ) );