- the relationship of being unequal or incomparable
- logic
- the relation between two statements only one of which can be true in any circumstances
- a function of two statements that takes the value true only when one but not both of its arguments is true
- a compound statement asserting that just one of its components is true
