Interseção

A \cap B

Do latim *intersectio* — "corte entre", o ponto onde duas coisas se cruzam.

Símbolo

$\cap$ é o $\cup$ invertido — um capacete sobre o que os dois conjuntos têm em comum. $A \cap B$ lê-se $A$ interseção $B$ .

A interseção de $A$ e $B$ é o conjunto dos elementos que estão em $A$ e em $B$ :

A \cap B = \{\, x \mid x \in A \wedge x \in B \,\}

É a conjunção aplicada à pertinência. Quando $A \cap B = \varnothing$ , os conjuntos são disjuntos — não compartilham elemento algum.

A & B ou A.intersection(B). Em TypeScript, o tipo interseção A & B — de novo, $\cap$ e o operador casam, porque ambos são a conjunção.

{1, 2, 3} & {3, 4, 5}   # {3}

União é o ou; interseção é o e. A dualidade entre elas é a dualidade entre $\vee$ e $\wedge$ — e De Morgan atravessa as duas.