Komplemento (aroteorio)

pri subaro S de aro A, la subaro de A konsistanta el elementoj kiu ne apartenas al S

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

B minus A
B minus A

Formala difino redakti

Estu   subaro de  , do  . La komplemento de   en   estas la aro