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