Leere Menge

Die leere Menge { } ist eine Menge ohne Elemente. Die leere Menge ist Teilmenge jeder Menge. In der Mengenalgebra ist die leere Menge das neutrale Element bezüglich der Vereinigungsverknüpfung.

Gruppe

Eine Gruppe ist eine algebraische Struktur mit einer Verknüpfung (*) zu einer gegebenen Grundmenge G. Es gelten die drei Gesetzte: 1. (a*b)*c=a*(b*c) = Assoziativgesetz 2. Es gibt ein neutrales Element e mit a*e=e*a=a für alle a aus der Grundmenge G 3. Zu jedem a aus G gibt es ein inverses a-1 aus G mit a*a-1 [...]

Erfüllbarkeit

In der Aussagenalgebra heißt eine Aussage “erfüllbar”, wenn es mindestens bei einer Einsetzung von Elementen des Definitionsbereiches in eine wahre Aussage überführt werden kann.

endliche Menge

Eine Menge von unterscheidbaren Elementen heißt endlich, wenn sie endlich viele Elemente beseitzt. Die Menge A={1,2,3,4,5} ist endlich,da sie 5 definierte Elemente besitzt; die Menge B={x|x ist natürliche Zahl} ist keine endliche Menge, da es unendlich (beliebig viele) verschiedene, natürliche Zahlen gibt.

Element

Eine Menge hat endliche oder unendliche, unterscheidbare Elemente. Die Menge  G={1,2,3,4,5,3,2} hat 5 verschiedene Elemente. Die “doppelten” 3 und 2 werden nicht berücksichtigt.

Definitionsbereich

Der Definitionsbereich einer Funktion f:x -> f(x) ist die Menge alle Elemente x, denen ein f(x) zugeordnet ist. Alle ganzrationalen Funktionen besitzen den Definitionsbereich der reellen Zahlen.