Komplemento (aroteorio)

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

B minus A

Formala difino

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

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