Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Ein Element in der Mathematik ist immer im Rahmen der Mengenlehre zu verstehen. Die grundlegende Relation wenn x ein Element und M eine Menge sind lautet:
x ist Element von M
oder im Formalismus der Mathematik
<math>x \in \mathbb{M}</math>.
Ein Element bezeichnet also genau ein aus einer Menge.
Die Mengendefinition von Georg Cantor beschreibt anschaulich was unter einem Element Zusammenhang mit einer Menge zu verstehen ist:
Eine Menge ist eine Zusammenfassung bestimmter wohlunterschiedener Objekte unsere Anschauung oder unseres Denkes zu Ganzen. Diese Objekte heißen Elemente der Menge.
Diese anschauliche (oder naive) Mengenauffassung erwies als nicht widerspruchsfrei. Heute wird die axiomatische ( Zermelo-Fraenkel-Mengenlehre ) benutzt.
In einigen Teildisziplinen der Mathematik treten Typen von Elementen immer wieder auf. Diese Elemente haben dann feste Namen.
In der Gruppentheorie treten spezielle Mengen auf deren Elemente verknüpft werden. Bei einer solchen Verknüpfung entsteht wieder ein Element der Menge. Es muss Gründen der Definition einer Gruppe immer ein Element geben das bei Verknüpfung mit einem anderen Element jenes nicht verändert. Dieses spezielle wird als neutrales Element bezeichnet.
Daneben muss aufgrund der Definition der auch zu jedem Element der Gruppe ein Gegenstück existieren welches unter Verknüpfung gerade das Element ergibt. Dieses Gegenstück wird als inverses Element (zu einem gegebenen Element) bezeichnet.
Innerhalb der ganzen Zahlen ist die Null ein neutrales Element bezüglich der Addition. Wenn man zu beliebigen Zahl x die Null addiert erhält man wiederum x :
Innerhalb der reellen Zahlen ist die 1 das neutrale Element bezüglich der Multiplikation . Wenn man eine beliebige reelle Zahl x mit der 1 multipliziert erhält man x :
<math>x \cdot 1 = x</math>
Entsprechend ist zu einer reellen Zahl x der Kehrwert 1/x das inverse Element der Multiplikation:
Das Konzept des Elementes und der kann auch komplizierter sein. Etwa kann eine T Elemente enthalten die selbst Mengen sind. kann durchaus die Menge T als eine Menge definieren die die genannten Mengen ( N natürliche Zahlen Q rationale Zahlen und R reelle Zahlen) als ihre drei Elemente <math>\mathbb{T}=\begin{Bmatrix}\mathbb{N} &\mathbb{Q} &\mathbb{R}\end{Bmatrix}</math> Dann wäre die Aussage
<math>\mathbb{N}\in\mathbb{T}</math>
Die Menge der natürlichen Zahlen ist Element der Menge T .