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 

Multzo-teoria
Operazio bitarrak
Multzoen teoriaren oinarrizko kontzeptuak