Osagarri (multzo-teoria)

Matematikan, multzo-teoriaren barruan, A multzo baten osagarria U beste multzo batekiko U∖A kendura multzoa da ( U−A ere idatz daiteke). Batzuetan, Ā idazten da.

Urdinez, A multzoaren osagarria.

Adibidez, U = {1, 2, 3, ... , 9, 10} eta A = {3, 4, 5, 6} badira, orduan Ā = {1, 2, 7, 8, 9, 10}.

Propietateak

multzo osagarria multzo berarekiko

C multzo baten osagarria C berarekiko multzo hutsa da..

${\overline {C}}=C\setminus C=\phi$

Erlazioa ebaketarekin

$A\setminus B=A\cap {\overline {B}}$

Inboluzio-propietatea

Multzo baten osagarriaren osagarria multzo bera da.

${\overline {\overline {A}}}=A$

Osagarritasun-propietatea

Bi multzo elkar osagarriak izateko propietate hauek bete behar dira:

${\overline {A}}\cup A=C$

${\overline {A}}\cap A=\phi$

De Morganen legeak

${\overline {(A\cup B)}}={\overline {A}}\cap {\overline {B}}$

${\overline {(A\cap B)}}={\overline {A}}\cup {\overline {B}}$

Kanpo estekak

• Datuak: Q242767