Delmengde

Fra Wikipedia, den frie encyklopedi

I mengdelæren er en en mengde A en delmengde av en mengde B hvis og bare hvis alle elementer av A også er elementer av B. I symboler skriver vi A er en ekte delmengde av B hvis og bare hvis A er en delmende av B, og Dette symboliseres slik: . Dersom vi har tre mengder, A, B og C, slik som vist nedenfor, vil følgende utsagn være sanne:

• 

• 

• 

• 

• 

• 

• 

For en hvilken som helst mengde A gjelder det at den tomme mengde, , er en delmengde av A. Potensmengden til A, i symboler: , er mengden av alle A's delmenger. For en mengde A = {a,b} har vi at:

•