<LATEX language="en">
<![CDATA[
Mathematical Example Module
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Mathematisches Beispielmodul
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Basics
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Anfangsgründe
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Classes and Sets
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Klassen und Mengen
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Initial Definition of Membership Operator
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Initiale Definition der Elementbeziehung
]]>
</LATEX>
#1 \in #2
<LATEX language="en">
<![CDATA[
Axiom of Extensionality
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Extensionalitätsaxiom
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Set Definition
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Mengendefinition
]]>
</LATEX>
\mathfrak{M}(#1)