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$.

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\}.$