Komplemento estas aroteoria termino. Se A {\displaystyle A} estas subaro de la aro B {\displaystyle B} , la komplemento B − A {\displaystyle B-A} konsistas el ĉiuj elementoj de B {\displaystyle B} , kiuj ne estas elementoj de A {\displaystyle A} .
Estu A {\displaystyle A} subaro de B {\displaystyle B} , do A ⊆ B {\displaystyle A\subseteq B} . La komplemento de A {\displaystyle A} en B {\displaystyle B} estas la aro
