Komplemento (aroteorio)

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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[redakti | redakti fonton]

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