Axm

Diferença

ABA \setminus B

Símbolo

ABA \setminus B (também ABA - B). A barra invertida "tira" de AA. Lê-se AA menos BB.

Definição

A diferença ABA \setminus B é o conjunto dos elementos de AA que não estão em BB:

AB={xxAxB}A \setminus B = \{\, x \mid x \in A \wedge x \notin B \,\}

Remove de AA o que BB tem. A ordem importa: ABA \setminus B e BAB \setminus A são, em geral, conjuntos diferentes — tirar é assimétrico.

Registro computacional

A - B ou A.difference(B).

{1, 2, 3} - {2, 4}   # {1, 3}

Diferença é a pertinência com uma negação embutida — em AA, e não em BB.