Universum (mängdteori)
Från Rilpedia
Version från den 24 april 2009 kl. 12.21 av CarsracBot (Diskussion)
Universum är ett begrepp även inom mängdteori.
- I naiv mängdlära avser universum vanligen den domän för tillfället beaktar till vilken de mängder som studeras är delmängder och betecknas ibland med bokstaven U. Går även under namnet grundmängd och betecknas då G. Komplementoperationen på en mängd förutsätter att ett universum har specificerats.
- I axiomatisk mängdlära används begreppet universum ibland som synonym till begreppet modell för mängdläran.