binary mekso operator: Let the inputs X1 and X2 be sets in the same universal set O; then the result of this operator applied to them is X1^c \cap X, where for any A \subseteq O, Ac = O \setminus A.
This is a dual to xa'ei'o and largely has the same properties; only one of them is needed in any operator system.