Set Theory: A non-commutative operation denoted as S1 - S2. The result of the operation consists of all elements in S1, but not in S2.

See also: symmetric difference.