Element (Mathematik)

Ein Element (von lateinisch elementum, Lehnübersetzung von griechisch stoīcheĩa bzw. stoichẹjon„Reihenglied, Grundbestandteil“) in der Mathematik ist immer im Rahmen der Mengenlehre oder Klassenlogik zu verstehen. Die grundlegende Relation, wenn x ein Element ist und M eine Menge oder Klasse ist, lautet:

„x ist Element von M“ oder mit Hilfe des Elementzeichens „x ∈ M“.

Die Mengendefinition von Georg Cantor beschreibt anschaulich, was unter einem Element im Zusammenhang mit einer Menge zu verstehen ist:

„Unter einer ‚Menge‘ verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die ‚Elemente‘ von M genannt werden) zu einem Ganzen.“

Diese anschauliche Mengenauffassung der naiven Mengenlehre erwies sich als nicht widerspruchsfrei. Heute wird daher eine axiomatische Mengenlehre benutzt, meist die Zermelo-Fraenkel-Mengenlehre, teilweise auch eine allgemeinere Klassenlogik.