Komplemento (aroteorio)

Komplemento estas aroteoria termino. Se ${\displaystyle A}$ estas subaro de la aro ${\displaystyle B}$, la komplemento ${\displaystyle B-A}$ konsistas el ĉiuj elementoj de ${\displaystyle B}$, kiuj ne estas elementoj de ${\displaystyle A}$.

B minus A

Formala difino

Estu ${\displaystyle A}$ subaro de ${\displaystyle B}$, do ${\displaystyle A\subseteq B}$. La komplemento de ${\displaystyle A}$ en ${\displaystyle B}$ estas la aro

${\displaystyle \{x\in B\mid x\notin A\}.}$