Universum (mängdteori)

Från Wikipedia
Hoppa till: navigering, sök

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.