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.

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

 Erlazioa ebaketarekin 

 Inboluzio-propietatea 

Multzo baten osagarriaren osagarria multzo bera da.

 Osagarritasun-propietatea 

Bi multzo elkar osagarriak izateko propietate hauek bete behar dira:

 De Morganen legeak 

 Kanpo estekak 

Kategoria:Multzo-teoria
Kategoria:Operazio bitarrak
Kategoria:Multzoen teoriaren oinarrizko kontzeptuak