Merge remote-tracking branch 'origin/master'

README.md

@@ -1,8 +1,3 @@
-# Blog von Niklas Birk
+# Mathematik, Informatik und Programmierung
-
-This website is built using [Docusaurus 2](https://docusaurus.io/), a modern static website generator.
-
-## Über den Blog
-
-Ich möchte gelegentlich über coole der Themen der Mathematik, der Informatik oder das programmieren schreiben.
 
+This website is built using [Docusaurus](https://docusaurus.io/), a modern static website generator.

babel.config.js

@@ -1,3 +0,0 @@
-module.exports = {
-    presets: [require.resolve('@docusaurus/core/lib/babel/preset')],
-};

docs/informatik/informatik.mdx

@@ -5,7 +5,7 @@ sidebar_position: 1
 ---
 
 # Informatik - eine Einführung
-## Drucker, Windows und Programmieren?
+## Drucker, Windows und Programmieren? {/* #drucker-windows-und-programmieren */}
 Am Anfang möchte ich mich ein wenig mit der Frage beschäftigen, was die Informatik eigentlich ist.
 
 Einige würden sagen, es geht darum, wie man *Windows*, *Office*-Programme oder eine andere Software bedient.
@@ -14,12 +14,12 @@ Aber das ist zu leicht gedacht, wenn nicht sogar völlig inkorrekt.
 Auch ist nicht überall Informatik drin, wo Informatik draufsteht: 
 Informatik-Schulunterricht oder *Fachinformatiker*-Ausbildung (das meine ich überhaupt nicht böse oder entwertend!).
 
-## Informatik = Computer?
+## Informatik = Computer? {/* #informatik--computer */}
 Eine der häufigsten Antworten auf die Frage, was Informatik eigentlich ist, 
 hört man, dass die was mit Computer zu tun haben. 
 Das ist nicht ganz falsch, aber bei weitem auch nicht ganz richtig. 
 
-### Ein Versuch einer Definition
+### Ein Versuch einer Definition {/* #ein-versuch-einer-definition */}
 Im Folgenden möchte ich ein paar verschiedene Definitionen aufzeigen, die allesamt ähnlich sind.
 
 :::note Informatik
@@ -57,7 +57,7 @@ weshalb ich diese weiter oben erwähnt habe.
 Informatik als Wissenschaft **ist** Mathematik, alles baut darauf auf und aus meiner Sicht ist das gerade der
 essenziellste Teil!
 
-### Informatik = IT?
+### Informatik = IT? {/* #informatik--it */}
 Außerdem hört man häufig, dass Menschen die **IT** mit **Informatik** gleichsetzen, auch das ist nicht ganz korrekt.
 Die Informatik als Wissenschaft streift verschiedenste Themengebiete und andere Wissenschaften, die **Informationstechnik**
 (IT) ist nur eine davon, wenngleich keine unwichtige!
@@ -79,7 +79,7 @@ Folgendes (chaotisches) Schaubild zeigt ein wenig das Zusammenspiel von den Wiss
 
 ![Informatik in Bezug auf andere Wissenschaften und Technikbereiche](/img/informatik/informatik/informatik_it.svg)
 
-## Teilgebiete der Informatik
+## Teilgebiete der Informatik {/* #teilgebiete-der-informatik */}
 Im Folgenden möchte ich die Informatik und ihre Teilgebiete und dessen Bezug zu anderen Wissenschaften oder Techniken etwas genauer vorstellen.
 Bisher habe ich noch keine konkreten Namen genannt, womit sich die Informatik denn genau beschäftigt.
 Folgendes Schaubild liefert einen ersten Überblick:
@@ -89,7 +89,7 @@ Folgendes Schaubild liefert einen ersten Überblick:
 Einige der unten aufgezählten Untersuchungsgebiete lassen sich auch anderen Teilgebieten zuordnen,
 da diese natürlich untereinander enge Verbindungen haben und es sich nicht immer klar abgrenzen lässt.
 
-### Theoretische Informatik
+### Theoretische Informatik {/* #theoretische-informatik */}
 Die theoretische Informatik entstand aus der Mathematik und bildet die theoretische Grundlage aller anderen Teilgebiete.
 
 :::note Theoretische Informatik
@@ -109,7 +109,7 @@ Sie umfasst unter anderem folgende Untersuchungsgebiete:
 - Komplexität (Rechen- und Speicheraufwand)
 - Graphentheorie
 
-### Technische Informatik
+### Technische Informatik {/* #technische-informatik */}
 Die technische Informatik steht eng mit der Elektrotechnik und Nachrichtentechnik in Verbindung und hat tatsächlich etwas mit Computer zu tun.
 
 :::note Technische Informatik
@@ -130,7 +130,7 @@ Sie umfasst unter anderem folgende Untersuchungsgebiete:
 - Hardwareentwurf
 - Eingebettete Systeme
 
-### Praktische Informatik
+### Praktische Informatik {/* #praktische-informatik */}
 Die praktische Informatik beschäftigt sich zum einen mit Programmiersprachen selbst und ihren Eigenschaften, 
 aber auch mit der Softwaretechnik (u.a. Design, Entwurf, Test und Projektmanagement).
 
@@ -148,7 +148,7 @@ Sie umfasst unter anderem folgende Untersuchungsgebiete:
 - Betriebssysteme (eng mit technischer Informatik)
 - Softwareentwicklung
 
-### Angewandte Informatik
+### Angewandte Informatik {/* #angewandte-informatik */}
 Die angewandte Informatik verwendet nun viele Erkenntnisse aus den obigen Teilen und 
 wendet diese in anderen Bereichen und im Alltag an.
 

docs/intro.mdx

@@ -5,7 +5,7 @@ description: Hallo
 sidebar_position: 1
 ---
 
-## Die Welt der Mathematik ist eine Schöne.
+## Die Welt der Mathematik ist eine Schöne. {/* #die-welt-der-mathematik-ist-eine-schöne */}
 
 **Wieso erwähne ich nur die Mathematik, obwohl es doch noch zwei weitere große Themenkomplexe gibt?**
 
@@ -31,40 +31,39 @@ was die Eingangsfrage beantwortet.
 Doch widmen wir uns der Überschrift:
 > Die Welt der Mathematik ist eine Schöne.
 
-Einige von euch werden nun vielleicht angewidert den Kopf schütteln,
+Vielleicht wirst du nun angewidert den Kopf schütteln, doch das ist nicht ganz fair.
-doch das ist nicht ganz fair.
 Die Mathematik aus der Schule unterscheidet sich von der *höheren Mathematik*, wie sie im Studium gelehrt wird.
-Wer diese höhere Mathematik geschnuppert und ihr eine Chance gegeben hat, der wird vielleicht gefallen an ihr gefunden haben.
+Wer diese höhere Mathematik geschnuppert und ihr eine Chance gegeben hat, der wird vielleicht gefallen an ihr finden.
 
-## Wer bin ich?
+## Wer bin ich? {/* #wer-bin-ich */}
-Ich bin ein Mittzwanziger, der unheimlich gerne über die Themen redet und alles davon wissen will, 
+Ich liebe die Mathematik und Informatik und ich würde gerne viel mehr darüber reden und alles davon wissen.
-aber eigentlich gar nicht so gut darin ist.
+Leider bin ich eigentlich gar nicht so gut darin Mathematik und Informatik zu betreiben.
-Ich habe einen *Bachelor of Science* in *angewandter Informatik* und studiere aktuell *angewandte Mathematik*.
+Ich habe einen *Bachelor of Science* in *Angewandte Informatik* und studiere aktuell nebenberuflich *Praktische Informatik* im Master.
+Vor dem Master habe ich einige Jahre *Angewandte Mathematik* studiert, musste aber leider zwischendrin abbrechen.
 Bevor ich studiert habe, habe ich eine Ausbildung zum *Informations- und Kommunikationstechnischen Assistenten* absolviert.
-Ich fühle mich also in der Mathematik, der Informatik und der Programmierung wohl.
+Beruflich arbeite ich als System- und Netzwerkadministrator in einer Behörde mit Sicherheitsaufgaben.
 
-## Wozu das Ganze hier?
+## Wozu das Ganze hier? {/* #wozu-das-ganze-hier */}
-Ich möchte ein umfangreiches Werk erschaffen, das meine Studieninhalte aufgreift und sowohl komprimiert, als auch erweitert.
+Ich möchte ein Werk erschaffen, das meine Studieninhalte aufgreift und sowohl komprimiert, als auch erweitert.
 Was meine ich damit?
 Ich kann hier nicht alles *ganz penibel* aufschreiben, was in meinen Skripten steht, auch wenn ich mich an diesen orientiere.
 Aber ich ziehe auch andere Quellen als die Skripte meiner Professoren her - Skripte anderer Professoren, Bücher, eigene Erfahrung, etc.
 Dabei versuche ich die Sachverhalte in meinen Worten wiederzugeben - zum Einen, um es selbst besser zu verstehen 
-und zum Anderen, um es euch zugänglicher zu machen.
+und zum Anderen, um es anderen zugänglicher zu machen.
 
 Es geht also darum, mein Wissen hier zu konservieren und an andere weiterzugeben.
 
-## Für wen das Ganze?
+## Für wen das Ganze? {/* #für-wen-das-ganze */}
 Diese Seite richtet sich an jede Person, die Interesse an den Themen hat.
-Das Niveau ist allerdings Hochschulniveau und eignet sich daher nicht unbedingt für Schülerinnen oder Schüler, 
+Primäre Zielgruppe sind aber Hochschulstudierende.
-die gerade für etwas lernen.
+Das sollte dich aber nicht davon abhalten, trotzdem mal reinzulesen, wenn es dich interessiert.
-Das sollte euch aber nicht davon abhalten, trotzdem mal reinzulesen, wenn es euch interessiert.
+Vielleicht denkst du dir ja, dass das etwas ist, das du in Zukunft machen willst.
-Vielleicht denkt sich jemand von euch ja, dass das etwas ist, das ihr in Zukunft machen wollt.
+Im *MINT*-Bereich (**M**athematik, **I**nformatik, **N**aturwissenschaft, **T**echnik) gibt es einige Studienabbrecher,
-Im *MINT*-Bereich (**M**athematik, **I**nformatik, **N**aturwissenschaft, **T**echnik) gibt es viele Studienabbrecher,
 da das alles nicht gerade einfach ist und vielen die essenzielle Mathematik Schwierigkeiten bereitet.
-Doch wir brauchen viele von euch, die ein MINT-Studium absolvieren und vor allem Mädchen und Frauen sind weit unterrepräsentiert.
+Doch wir brauchen viele, die ein MINT-Studium absolvieren und vor allem Frauen sind weit unterrepräsentiert.
 Eine allgemein höhere Diversität im MINT-Bereich ist erstrebens- und wünschenswert.
 
-## Wie verarbeitet ihr das hier?
+## Wie verarbeitest du das hier? {/* #wie-verarbeitest-du-das-hier */}
 Das liegt ganz bei dir.
 Die Unterthemen sind mehr oder weniger chronologisch angeordnet, wie man sie auch im Studium einführt.
 Du kannst also bequem den Programmierteil beginnen, ohne vorher die Mathematik durchgearbeitet zu haben.
@@ -73,13 +72,10 @@ Solltest du schon Vorkenntnisse haben, kannst du natürlich auch ab da einsteige
 zurückblättern kann man immer, falls doch noch was fehlt.
 Auf den Übersichtsseiten der einzelnen Oberthemen findest du hierzu jedoch weitere Informationen.
 
-## Ihr wollt mitmachen oder Fehler melden?
+## Du willst einen Fehler melden? {/* #du-willst-einen-fehler-melden */}
-Das Projekt ist in erster Linie ein Projekt von *mir* für *euch*.
+Falls du du einen Fehler (Rechtschreibung, Grammatik, Inhaltlich, etc.)
-Falls ihr jedoch Interesse an eine Art Gastbeitrag habt, ihr einen Fehler (Rechtschreibung, Grammatik, Inhaltlich, etc.)
+gefunden oder einen Themenwunsch hast, dann kannst du mich gerne unter
-gefunden oder einen Themenwunsch habt, dann könnt ihr mich gerne unter 
+[me@niklas-birk.de](mailto://me@niklas-birk.de) erreichen.
-[niklas.birk@niklas-birk.de](mailto://niklas.birk@niklas-birk.de) erreichen und ich schaue, 
-wie und ob ich euch weiterhelfen kann.
 
-Den Code und die Ressourcen zu dieser Website findet ihr unter [git.niklas-birk.de](https://git.niklas-birk.de/niklas/niklas_birk_blog).
+Den Code und die Ressourcen zu dieser Website findest du unter [git.niklas-birk.de](https://git.niklas-birk.de/niklas/niklas_birk_blog).
-Da ihr dort jedoch keinen Account anlegen könnt, ist die *Issue*-Funktion nicht verfügbar.
+Da du dort jedoch keinen Account anlegen könnt, ist die *Issue*-Funktion nicht verfügbar.
-Alternativ könnt ihr auf [github.com/niklasbirk](https://github.com/niklasbirk/niklas-birk-blog) ein Issue anlegen.

docs/mathematik/analysis/analysis.mdx

@@ -4,7 +4,7 @@ tags: [mathematik, mengenlehre, analysis]
 sidebar_position: 1
 ---
 
-## Themen
+## Themen {/* #themen */}
 In diesem Teil möchte ich über folgende Themen sprechen:
 
 1. [Reelle Zahlen](reelle_zahlen)
@@ -23,7 +23,7 @@ In diesem Teil möchte ich über folgende Themen sprechen:
    2. [Uneigentliche- und  Parameterintegrale](integration/integral2)
    3. [Kurvenintegrale](integration/kurvenintegral)
 
-## Über die Analysis
+## Über die Analysis {/* #über-die-analysis */}
 Eine der wichtigsten Teilgebiete der Mathematik bildet die Analysis.
 Sie beschäftigt sich hauptsächlich mit Funktionen in den *reellen* und *komplexen Zahlen*.
 Dabei steht die Untersuchung der Eigenschaften dieser Funktionen im Vordergrund.

docs/mathematik/mathematik.mdx

@@ -5,7 +5,7 @@ sidebar_position: 1
 ---
 
 # Mathematik - eine Einführung
-## Zur Beliebtheit der Mathematik
+## Zur Beliebtheit der Mathematik {/* #zur-beliebtheit-der-mathematik */}
 Mathematik wird als nicht besonders beliebtes Schulfach gesehen.
 Dabei galt es 2010 noch als eines der Lieblingsfächer der Deutschen. [^1]
 Trotzdem scheint es so, als ob die meisten das Fach nicht mögen, wenn man sich so umhört.
@@ -16,7 +16,7 @@ doch diese wäre für den Schulunterricht ungeeignet.
 Lediglich in der gymnasialen Oberstufen werden ein paar wenige Konzepte der höheren Mathematik eingeführt,
 wenngleich nicht mit einer hohen mathematischen Strenge oder Abstraktion.
 
-## Mathematik ist überall
+## Mathematik ist überall {/* #mathematik-ist-überall */}
 Aber Mathematik umgibt uns ständig. Wesentliche Zusammenhänge in der Natur lassen sich durch Mathematik beschreiben.
 Zahlen und das Rechnen mit ihnen ist unser täglich Brot, wenn wir beim Bäcker etwas kaufen.
 Sie ist enorm wichtig für uns Menschen, da viele ingenieurwissenschaftlichen Erkenntnisse auf ihr mit der Physik beruhen.
@@ -32,7 +32,7 @@ Galileo Galilei lebte bis ins 17. Jahrhundert, das war lange bevor die Mathemati
 Die neuzeitliche Mathematik, wie sie heute betrieben wird, entwickelte sich erst im 19. und 20. Jahrhundert.
 Dennoch spielte die Mathematik bereits in der Antike und seit jeher eine wichtige Rolle.
 
-## Mathematik = Rechnen?
+## Mathematik = Rechnen? {/* #mathematik--rechnen */}
 Mathematik entstand aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen.
 Jedoch hat sie sich weiterentwickelt zu etwas, das mit bloßem Rechnen nicht mehr viel zu tun hat.
 Auch die Geometrie hat sich zu etwas entwickelt, was wir uns so gar nicht mehr vorstellen können.
@@ -41,14 +41,14 @@ und eignen sich daher gut dafür sich die Dinge vorzustellen.
 Auch deshalb beschränkt man sich häufig auf diese, wenn man einer Person Mathematik nahe bringen möchte.
 Auch spielt das Rechnen in unserem Alltag an der Supermarktkasse oder beim Zählen eine große Rolle.
 
-Mathematik zählt wie die [Informatik](/informatik/informatik.md) zu den *Struktur*- bzw. *Formalwissenschaften*.
+Mathematik zählt wie die [Informatik](/docs/informatik/) zu den *Struktur*- bzw. *Formalwissenschaften*.
 Sie nimmt damit eine Sonderrolle unter den Wissenschaften ein und wird manchmal auch als *__die__ exakte* Wissenschaft betrachtet.
 Denn anders, als bei anderen Wissenschaften beruhen die Erkenntnisse auf einem logischen Beweis. 
 Ein wahrer logischer Beweis ist prinzipbedingt endgültig und allgemeingültig wahr. 
 Im Vergleich dazu werden naturwissenschaftliche Erkenntnisse durch Experimente bestätigt und müssen durch Experimente 
 auch falsifiziert werden können. Solche Erkenntnisse sind daher vorläufig, das kennt die Mathematik nicht.
 
-### Ein Versuch einer Definition
+### Ein Versuch einer Definition {/* #ein-versuch-einer-definition */}
 Eine gemeinhin anerkannte Definition existiert nicht, aber ein grober Versuch zu beschreiben, 
 was die Mathematik ist oder macht könnte folgendermaßen aussehen: 
 
@@ -60,14 +60,14 @@ auf ihre Eigenschaften und Muster untersucht.[^2]
 
 :::
 
-## Einteilung der Mathematik
+## Einteilung der Mathematik {/* #einteilung-der-mathematik */}
-### Reine Mathematik
+### Reine Mathematik {/* #reine-mathematik */}
 Die reine Mathematik beschäftigt sich vorzugsweise mit der Untersuchung der mathematischen Strukturen und Objekte innerhalb der Mathematik.
 Die Theorien dazu werden ggf. erweitert oder verallgemeinert und neue Verbindungen erkannt.
 Dazu werden neue Definitionen eingeführt.
 Außerdem müssen die Verbindungen mathematisch bewiesen und in mathematischer Strenge als Sätze formuliert werden.
 
-### Angewandte Mathematik
+### Angewandte Mathematik {/* #angewandte-mathematik */}
 In der angewandten Mathematik werden die Erkenntnisse der Mathematik auf reale Probleme in anderen Wissenschaften wie 
 Naturwissenschaften, Informatik und Technik angewandt.
 Hierbei wird das Problem aus dem anderen Bereich mathematisch modelliert.
@@ -88,12 +88,12 @@ Folgende Gebiete kann man zur angewandten Mathematik zählen, die mehr oder weni
 - Wirtschaftsmathematik
 - Theoretische Informatik
 
-## Teilgebiete der Mathematik
+## Teilgebiete der Mathematik {/* #teilgebiete-der-mathematik */}
 Die Mathematik hat viele Teilgebiete.
 Vier davon sind besonders hervorzuheben, da sie für viele andere Teilgebiete die absoluten Grundlagen bereitstellen.
 
-### Fundamentale Gebiete
+### Fundamentale Gebiete {/* #fundamentale-gebiete */}
-#### Logik und Mengenlehre
+#### Logik und Mengenlehre {/* #logik-und-mengenlehre */}
 Die Logik ist nicht nur fundamental in der Mathematik. 
 Auch in der Philosophie und Informatik spielt sie eine entscheidende Rolle.
 
@@ -136,7 +136,7 @@ In u.a. folgende Untersuchungs- und Teilgebiete lässt sich die (mathematische)
   - Mengenoperationen
   - Relationen und Funktionen
 
-#### Algebra
+#### Algebra {/* #algebra */}
 Die Algebra wird in der Schule häufig als das "Rechnen mit Unbekannten" und "Lösen von Gleichungen" eingeführt.
 Die Theorie der Algebra hat sich allerdings weiterentwickelt und abstrahiert.
 
@@ -158,7 +158,7 @@ Folgende Untersuchungs- und Teilgebiete können u.a. der Algebra zugeordnet werd
   - Lineare Gleichungssysteme
   - Affine Geometrie
 
-#### Analysis
+#### Analysis {/* #analysis */}
 Die Analysis ist v.a. für Natur- und Ingenieurwissenschaften relevant.
 Sie beschäftigt sich hauptsächlich mit Funktionen in den *reellen* und *komplexen Zahlen*.
 
@@ -179,7 +179,7 @@ Folgende Untersuchungs- und Teilgebiete können u.a. der Analysis zugeordnet wer
 - Funktionalanalysis (Kombination aus Algebra und Analysis)
 - Differentialgleichungen
 
-#### Topologie
+#### Topologie {/* #topologie */}
 Die Topologie beschäftigt sich mit mathematischen Strukturen, deren Struktur unter stetigen Verformungen erhalten bleiben.
 
 :::note Topologie
@@ -194,8 +194,8 @@ Ebenso Begriffe wie Grenzwerte.
 Als Grundlegende Strukturen werden dabei die *topologischen Räume* eingeführt.
 Ein Spezialfall eines topologischen Raumes ist der *metrische Raum*, welcher auch in der Analysis eine bedeutende Rolle spielt.
 
-### Weitere Teilgebiete
+### Weitere Teilgebiete {/* #weitere-teilgebiete */}
-#### Diskrete Mathematik
+#### Diskrete Mathematik {/* #diskrete-mathematik */}
 Die diskrete Mathematik beschäftigt sich mit diskreten Strukturen, während die Analysis bspw. als *kontinuierlich* beschrieben werden kann.
 Sie spielt v.a. in der Informatik eine wichtige Rolle.
 
@@ -212,7 +212,7 @@ Als Untersuchungs- und Teilgebiete der diskreten Mathematik können folgende auf
 - Kombinatorik
 - Zahlentheorie
 
-#### Numerik
+#### Numerik {/* #numerik */}
 Durch die Erkenntnisse der Numerik lassen sich näherungsweise Lösungen durch Computer berechnen.
 
 :::note Numerische Mathematik
@@ -226,7 +226,7 @@ Wenn ein gegebenes Problem mathematisch zu berechnen sehr aufwändig ist und man
 dann kann es Wert sein, eine numerische Lösung dafür zu finden, die erheblich einfacher ist, 
 ganz unabhängig von Computern (z.B. Überschlagen einer Rechnung im Kopf).
 
-#### Stochastik und Statistik
+#### Stochastik und Statistik {/* #stochastik-und-statistik */}
 In der Mathematik sind Ergebnisse erstmal vorherbestimmt, da z.B. eine Rechnung eben nur ein Ergebnis liefert.
 Es gibt jedoch in der echten Welt auch so etwas wie Zufall.
 Da wir die Mathematik gerne als Beschreibungssprache theoretischer Zusammenhänge verwenden,
@@ -264,7 +264,7 @@ Folgende Untersuchungs- und Teilgebiete der Stochastik und Statistik können gen
   - Induktive Statistik
   - Explorative Statistik
 
-#### Geometrie 
+#### Geometrie {/* #geometrie */}
 Geometrie handelte früher von Punkten und Geraden und Figuren, die man damit erstellen konnte.
 Ganz anschaulich konnte man damit Figuren zeichnen und konstruieren.
 Mittlerweile hat sich die Geometrie zu etwas weiterentwickelt, von dem man gar nicht mehr annehmen würde, dass es Geometrie ist.
@@ -289,7 +289,7 @@ Folgende Untersuchungs- und Teilgebiete der Geometrie können genannt werden:
 - Nichteuklidische Geometrie
 - Differentialgeometrie
 
-#### Zahlentheorie 
+#### Zahlentheorie {/* #zahlentheorie */}
 Die Zahlentheorie beschäftigt sich hauptsächlich mit Zahlen.
 In der *elementaren Zahlentheorie* insbesondere mit den *ganzen Zahlen*.
 Begriffe wie Teilbarkeit kommen aus diesem Teilgebiet, genauer gesagt aus der Arithmetik..

docs/mathematik/mengenlehre/1_logik.mdx

@@ -17,10 +17,10 @@ Syntax und die Semantik hängen in der Logik durchaus eng zusammen, da sie nach
 In der Mathematik sind die Beweise allerdings informal und eher eine Skizze eines formalen logischen Beweises,
 weshalb die strikte Trennung zwischen Syntax und Semantik nicht immer transparent erscheint.
 
-## Aussagenlogik (PL 0)
+## Aussagenlogik (PL 0) {/* #aussagenlogik-pl-0 */}
 Die *Aussagenlogik* oder auch *Prädikatenlogik 0. Stufe* (*PL0*) beschäftigt sich mit *Aussagen*.
 
-:::note Aussagen
+:::note[Aussagen]
 
 *Aussagen* sind Sachverhalte in sprachlicher Form, die in der objektiven Realität vorliegen oder denkbar sind.
 
@@ -29,7 +29,7 @@ Die *Aussagenlogik* oder auch *Prädikatenlogik 0. Stufe* (*PL0*) beschäftigt s
 Diese Definition wirkt etwas sperrig.
 Eine andere Definition wäre:
 
-:::note Aussagen
+:::note[Aussagen]
 
 Eine *Aussage* ist ein sprachliches Gebilde, dem eindeutig ein
 *Wahrheitswert* (*wahr* oder *falsch*) zugeordnet werden kann.
@@ -40,7 +40,7 @@ Diese Definition verknüpft allerdings schon ein bisschen die Syntax (sprachlich
 Sowohl die Syntax, als auch die Semantik werden nachfolgend gesondert eingeführt.
 Nur wenden wir uns dann nicht mehr dem Begriff Aussage selbst zu, sondern nutzen Variablen.
 
-#### Beispiele
+#### Beispiele {/* #beispiele */}
 Folgendes sind Beispiele für Aussagen:
 - "Berlin ist die Hauptstadt von Deutschland"
 - "Kein Auto ist Minzgrün"
@@ -54,10 +54,10 @@ Die anderen Beiden nutzen eine *formale Sprache*.
 Solche Formeln und andere Schreibweisen mit Symbolen können eine formale Sprache bilden.
 Formale Sprachen werden im Teil [Informatik](/docs/informatik) näher behandelt.
 
-### Syntax
+### Syntax {/* #syntax */}
 Aussagenlogische *Formeln* beinhalten verschiedene Symbole und werden rekursiv definiert:
 
-:::note Aussagenlogische Formeln
+:::note[Aussagenlogische Formeln]
 
 Sei $O = \{ \neg, \wedge, \vee, \rightarrow, \leftrightarrow, (, ) \}$ die Menge der *logischen Operatoren* (*Junktoren*)
 und $\Sigma$ eine Menge von Symbolen, die *Aussagevariablen* genannt werden.
@@ -82,7 +82,7 @@ Es sind auch andere Symbole in Verwendung, je nach Person oder je nach Wissensch
 
 Die Junktoren haben einen Namen und eine Sprechweise:
 
-:::note Name und Sprechweise der Junktoren
+:::note[Name und Sprechweise der Junktoren]
 
 $$
 \begin{align*}
@@ -102,10 +102,10 @@ Bisher war es nur Syntax, d.h. rein syntaktische Gebilde ohne Bedeutung.
 Einfach eine korrekte Aneinanderreihung von Symbolen.
 Auch $w$ und $f$ sind erstmal nur Symbole, die allerdings wenig überraschend mit der den Worten entsprechenden Semantik belegt werden.
 
-### Semantik
+### Semantik {/* #semantik */}
 In der Aussagenlogik gilt das *Zweiwertigkeitsprinzip*:
 
-:::note Zweiwertigkeitsprinzip
+:::note[Zweiwertigkeitsprinzip]
 
 Alle Aussagen sind entweder *wahr* ($w$ oder $1$) oder *falsch* ($f$ oder $0$)
 
@@ -121,7 +121,7 @@ Aber nach welchen Regeln soll das $\wedge$, also das *und*, behandelt werden?
 
 Dafür müssen wir diesen syntaktischen Symbolen nun eine Bedeutung mittels einer Wahrheitstabelle eine Semantik geben.
 
-:::note Semantik der Junktoren
+:::note[Semantik der Junktoren]
 
 $$
 \begin{array}{c|c||c|c|c|c|c|c}
@@ -141,7 +141,7 @@ Die Priorität der Junktoren in absteigender Reihenfolge: $\neg, \wedge, \vee, \
 
 Eine Zeile dieser Wahrheitstabelle nennt man auch *Interpretation* oder *Belegung*.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-1 */}
 Wählen wir folgende Aussagen $A = "3 < 5"$ und $B = "3 + 2 = 1"$.
 $A$ ist eine wahre Aussage, während $B$ eine falsche Aussage ist.
 Wir bilden nun die neue Aussage $A \wedge B$.
@@ -161,7 +161,7 @@ nie was Falsches folgern dürfen, aber aus etwas Falschem stets was Wahres:
 - $2^2 = 4 \rightarrow 1+1=1 \qquad\;$ ist falsch
 - $1+1=1 \rightarrow 2+2=4 \quad$ ist wahr
 
-#### Weitere Anmerkungen
+#### Weitere Anmerkungen {/* #weitere-anmerkungen */}
 Bei $\vee$ (gesprochen *oder*) ist anzumerken, dass es sich um ein *Inklusiv-Oder* handelt, d.h. die Gesamtaussage ist genau dann wahr,
 wenn mindestens eine Teilaussage wahr ist.
 Das Inklusiv-Oder ist wie ein "Milch *oder* Zucker" beim Kaffee zu verstehen - man kann auch beides nehmen.
@@ -172,14 +172,14 @@ Die Antivalenz ist auch ein wichtiger Junktor, der hier aber nicht näher eingef
 Die Implikation bereitet vielen am Anfang Bauchschmerzen, da sie dem umgangssprachlichen "wenn ..., dann ..." auf den ersten Blick nicht vollkommen entspricht.
 Hierfür findet man im Web viele weitere Erklärungen und Beispiele, die vielleicht Abhilfe schaffen können.
 
-### Klassifikation von Formeln
+### Klassifikation von Formeln {/* #klassifikation-von-formeln */}
-:::note Modell
+:::note[Modell]
 
 Jede Belegung, unter der die Formel wahr wird nennen wir ein *Modell* der Formel.
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-2 */}
 $$
 \begin{array}{c||c|c||c}
      & A & B & F = (A \wedge B) \rightarrow B\\
@@ -207,7 +207,7 @@ Solche Formeln haben einen bestimmten Namen, der in der nächsten Definition ein
 
 Wir können Formeln nun anhand ihrer Modelle in verschiedene Klassen einteilen:
 
-:::note Klassifikation von Formeln
+:::note[Klassifikation von Formeln]
 
 Falls die Formel mindestens ein Modell hat, nennen wir sie *erfüllbar*.
 
@@ -219,7 +219,7 @@ Man nennt so eine Formel auch *Kontradiktion* oder *Widerspruch*.
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-3 */}
 Oben haben wir bereits eine Tautologie gesehen.
 Eine weitere wäre:
 $$
@@ -246,18 +246,18 @@ Diese Formel nennt man auch *Widerspruch*.
 Es kann $A$ *und* $\neg A$ nie gleichzeitig gelten.
 Wenn also bspw. jemand behauptet "Ich wohne in Berlin", er aber gleichzeitig sagt "Ich wohne nicht in Berlin", dann widerspricht er sich ja selbst.
 
-### Semantische Äquivalenz
+### Semantische Äquivalenz {/* #semantische-äquivalenz */}
 Wenn wir über verschiedene Formeln reden und bestimmen wollen, ob diese Formeln das gleiche Aussagen,
 dann ist das die Frage nach der *semantischen Äquivalenz*.
 
-:::note Semantische Äquivalenz
+:::note[Semantische Äquivalenz]
 
 Zwei Formeln $F$ und $G$ heißen *semantisch äquivalent*, wenn sie die gleichen Modelle haben.
 Man schreibt $F \equiv P$.
 
 :::
 
-#### Beispiel
+#### Beispiel {/* #beispiel */}
 $$
 \begin{array}{c|c||c|c}
     A & B & A \rightarrow B & \neg B \rightarrow \neg A\\
@@ -275,7 +275,7 @@ schonmal mit der objektsprachlichen *syntaktischen Äquivalenz* verknüpft und d
 Es gibt einen wichtigen Zusammenhang zwischen der objektsprachlichen *syntaktischen Äquivalenz*
 und der metasprachlichen *semantischen Äquivalenz*:
 
-:::info Semantische und syntaktische Äquivalenz
+:::info[Semantische und syntaktische Äquivalenz]
 
 Zwei Formeln $F$ und $P$ heißen *semantisch äquivalent*, genau dann, wenn $F \leftrightarrow P$ eine Tautologie ist.
 
@@ -284,7 +284,7 @@ Zwei Formeln $F$ und $P$ heißen *semantisch äquivalent*, genau dann, wenn $F \
 Es gibt ein paar wichtige semantische Äquivalenzen, die uns auch beim *Rechnen* oder *Umformen* von Formeln helfen.
 Die tatsächliche semantische Äquivalenz lässt sich leicht durch aufstellen einer Wertetabelle ermitteln und ist eine gute Übung.
 
-:::tip Wichtige semantische Äquivalenzen
+:::tip[Wichtige semantische Äquivalenzen]
 
 1. $$
     \begin{align*}
@@ -427,7 +427,7 @@ Die tatsächliche semantische Äquivalenz lässt sich leicht durch aufstellen ei
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-4 */}
 Im folgenden Beispiel wird eine Formel durch obige Äquivalenzen in eine äquivalente Formel umgeformt.
 Die verwendete Äquivalenz wird entsprechend der Nummerierung oben angegeben, damit es besser nachvollziehbar ist, was umgeformt wurde.
 $$
@@ -452,17 +452,17 @@ Das Umformen von Gleichungen in der Schule ist übrigens ähnlich.
 Vielleicht hat dein Mathelehrer mal das Wort "*Äquivalenzumformung*" dafür verwendet.
 Es wird so umgeformt, dass sich der Wahrheitswert der Gleichung nicht ändert.
 
-## Prädikatenlogik (PL 1)
+## Prädikatenlogik (PL 1) {/* #prädikatenlogik-pl-1 */}
 Die Aussagenlogik allein reicht leider nicht aus, um viele Problemstellungen in der Mathematik vernünftig zu formulieren.
 
-:::note Variable
+:::note[Variable]
 
 Sei $G$ ein Grundbereich von Objekten.
 Für eine *Variable* $x$ über $G$ kann ein Objekt aus $G$ eingesetzt werden.
 
 :::
 
-:::note Aussagenform
+:::note[Aussagenform]
 
 Eine *Aussagenform* $H$ über $G$ ist ein schriftsprachliches Gebilde mit mindestens einer Variable.
 Durch Einsetzen von Objekten aus $G$ **für alle** Variablen wird $H$ zu einer Aussage.
@@ -475,20 +475,20 @@ Aussagenformen wurden bereits in der [Aussagenlogik](#syntax)) oben eingeführt,
 
 Das Zusammensetzen von Aussagen(-formen) mit den entsprechenden Junktoren ist analog zur Aussagenlogik.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-5 */}
-Sei $G = \mathbb{N}$ Grundbereich und $A(n) := ``n + 1 = 3''$ Aussagenform.
+Sei $G = \mathbb{N}$ Grundbereich und $A(n) \coloneqq ``n + 1 = 3''$ Aussagenform.
 Durch Ersetzen der Variable $n$ durch ein Objekt aus $G$, hier also einer natürlichen Zahl, wird $A(x)$ zu einer Aussage:
-- Für $n = 1$ ist $A(1) := ``1 + 1 = 3''$ eine falsche Aussage.
+- Für $n = 1$ ist $A(1) \coloneqq ``1 + 1 = 3''$ eine falsche Aussage.
-- Für $n = 2$ ist $A(2) := ``2 + 1 = 3''$ eine wahre Aussage.
+- Für $n = 2$ ist $A(2) \coloneqq ``2 + 1 = 3''$ eine wahre Aussage.
 
-Sei $G$ die Menge aller Lebewesen und $Mensch(x) := ``x \text{ ist ein Mensch}''$ eine Aussagenform.
+Sei $G$ die Menge aller Lebewesen und $Mensch(x) \coloneqq ``x \text{ ist ein Mensch}''$ eine Aussagenform.
 In der Prädikatenlogik nennt man solche Aussagenformen ein *Prädikat*.
 $Mensch(AngelaMerkel)$, sprich "Angela Merkel ist ein Mensch", ist eine wahre Aussage,
 während $Mensch(Grumpy Cat)$, sprich "Grumpy Cat ist ein Mensch" eine falsche Aussage ist.
 
 Doch in der Prädikatenlogik gibt es noch mehr, was diese ausmacht:
 
-:::note Quantifizierung
+:::note[Quantifizierung]
 
 Quantoren:
 - Allquantor: $\forall x$ - sprich: "Für alle $x$ aus $G$"
@@ -506,13 +506,13 @@ Nicht gebundene Variablen heißen *frei*.
 Eine Aussagenform wurde erst zu einer Aussage, wenn wir die Variablen durch ein konkretes Objekt aus $G$ ersetzt haben.
 Durch ein Quantor ist eine Aussagenform direkt eine Aussage:
 
-#### Beispiele
+#### Beispiele {/* #beispiele-6 */}
-Sei $G = \mathbb{N}$ Grundbereich und $H(x) := ``x + 1 = 3''$ Aussagenform.
+Sei $G = \mathbb{N}$ Grundbereich und $H(x) \coloneqq ``x + 1 = 3''$ Aussagenform.
 Durch Quantifizierung entstehen folgende Aussagen:
 - $\forall x (x + 1 = 3)$ - "Für alle $x$ aus $G$ gilt $x + 1 = 3$" ist eine falsche Aussage.
 - $\exists x (x + 1 = 3)$ - "Es existiert ein $x$ aus $G$ mit $x + 1 = 3$" ist eine wahre Aussage.
 
-Sei $G = \mathbb{N}$ und $H(x) := ``2x \ge x''$.
+Sei $G = \mathbb{N}$ und $H(x) \coloneqq ``2x \ge x''$.
 Durch Quantifizierung entstehen folgende Aussagen:
 - $\forall x (2x \ge x)$ - "Für alle $x$ aus $G$ gilt $2x \ge x$" ist eine wahre Aussage.
 - $\exists x (2x \ge x)$ - "Es existiert ein $x$ aus $G$ mit $2x \ge x$" ist eine wahre Aussage.
@@ -522,13 +522,13 @@ Im Beispiel sieht man, dass mehrere $x$ die letzte Aussage erfüllen.
 Möchte man dagegen deutlich machen, dass **genau** ein $x$ existiert, dann schreibt man das $\exists ! x (H(x))$.
 Damit wäre $\exists ! x (2x \ge x)$ eine falsche Aussage, da jedes $x$ das oben definierte $H(x)$ erfüllt.
 
-Sei $G = \mathbb{Z}$ und $H(x) := ``2x \ge x''$.
+Sei $G = \mathbb{Z}$ und $H(x) \coloneqq ``2x \ge x''$.
 $\forall x (2x \ge x)$ ist nun eine falsche Aussage, da sich der Grundbereich geändert hat.
 Dagegen ist $\forall x (x \in \mathbb{N} \rightarrow 2x \ge x)$ wieder wahr.
 Statt dieser Schreibweise findet man häufig folgende unexakte Schreibweisen für solche Aussagen:
 $$
 \begin{equation*}
-    \forall x \in \mathbb{N}:\ 2x \ge x
+    \forall x \in \mathbb{N} \colon 2x \ge x
 \end{equation*}
 $$
 
@@ -537,12 +537,12 @@ diese durch eine konkrete Aussage ersetzt wurden.
 Folgende Beispiele sind nur Aussagenformen, da nicht alle Variablen gebunden vorkommen.
 Sei $G = \mathbb{Z}$.
 - $x + y = 0$
-- $\forall x:\ x + y = 0$
+- $\forall x \colon x + y = 0$
 
 Dagegen sind sie quantifiziert oder ersetzt bspw. folgende Aussagen:
-- $\forall x:\ x + 1 = 0$ ist falsch.
+- $\forall x \colon x + 1 = 0$ ist falsch.
-- $\forall x\ \exists y:\ x + y = 0$ ist wahr.
+- $\forall x\ \exists y \colon x + y = 0$ ist wahr.
-- $\exists y\ \forall x:\ x + y = 0$ ist falsch.
+- $\exists y\ \forall x \colon x + y = 0$ ist falsch.
 
 Am letzten Beispiel erkennt man, dass die Reihenfolge der Quantoren eine wichtige Rolle spielt:
 Die Aussage "Für alle $x$ gibt es ein $y$ \[...\]" ist eine grundlegend andere Aussage als "Es gibt ein y für alle x \[...\]".

docs/mathematik/mengenlehre/2_mengen.mdx

@@ -12,11 +12,11 @@ Diese Axiomatisierung wird hier allerdings nicht direkt vorgestellt oder explizi
 Stattdessen werden manche Axiome beiläufig eingeführt.
 Es können auch Axiome vorkommen, die in anderen Axiomatisierungen der Mengenlehre auftreten.
 
-## Mengenbildung
+## Mengenbildung {/* #mengenbildung */}
 *Bertrand Russell* entwickelte die *Typentheorie*, nach der man die Mengenlehre auch stufenweise aufbauen kann.
 Hierbei gibt es eine kleinste Stufe, deren Elemente man *Urelemente* oder *Urmengen* nennt.
 
-:::note Stufenaufbau nach Russell
+:::note[Stufenaufbau nach Russell]
 
 $$
     \begin{array}{c|c||c}
@@ -32,7 +32,7 @@ $$
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele */}
 Dabei sind die Elemente der jeweiligen Stufe stets Elemente der vorigen Stufe.
 
 Eine Menge von Urelementen ist also eine Menge erster Stufe: $M^1 = \{ X^0, Y^0 \} = \{ a, b \} = A$.
@@ -43,12 +43,12 @@ Mengensysteme spielen u.a. in der Maßtheorie eine wichtige Rolle, in der auch d
 
 Folgendes Axiom bildet eine Brücke zur Logik:
 
-:::tip Mengenbildungsaxiom
+:::tip[Mengenbildungsaxiom]
 
 Sei $H(M^n)$ Aussage über Mengen $n$-ter Stufe.
 $$
     \begin{equation*}
-        \exists M^{n+1}\ \forall M^n:\ M^n \in M^{n+1} \leftrightarrow H(M^n),
+        \exists M^{n+1}\ \forall M^n \colon M^n \in M^{n+1} \leftrightarrow H(M^n),
     \end{equation*}
 $$
 wobei $M^{n+1}$ nicht in $H(M^n)$ vorkommt.
@@ -56,15 +56,15 @@ wobei $M^{n+1}$ nicht in $H(M^n)$ vorkommt.
 :::
 Das Mengenbildungsaxiom sagt aus, dass es eine Menge $M^{n+1}$ gibt, die aus den Elementen $M^n$ besteht, die eine gewisse Aussage erfüllen. 
 
-#### Beispiele
+#### Beispiele {/* #beispiele-1 */}
 Sei $n = 0$, dann können wir die Aussage im Satz mit den üblichen Benennungen wie folgt schreiben:
 $$
     \begin{equation*}
-        \exists A\ \forall x:\ x \in M \leftrightarrow H(x).
+        \exists A\ \forall x \colon x \in M \leftrightarrow H(x).
     \end{equation*}
 $$
 "$M^{n+1}$ kommt nicht in $H(M^n)$ vor" bedeutet, dass in $H(M^n)$ nirgends das Symbol $M^{n+1}$ auftauchen darf.
-Deswegen ist $\exists A\ \forall x:\ x \in M \leftrightarrow x \notin M$, also ein Widerspruch, ausgeschlossen.
+Deswegen ist $\exists A\ \forall x \colon x \in M \leftrightarrow x \notin M$, also ein Widerspruch, ausgeschlossen.
 Denn in $H(x) = \text{"}x \notin M\text{"}$ taucht ja $M$ auf und das ist nicht erlaubt
 
 Sei $n = 0$ und $H(x) = \text{"} x \text{ ist eine gerade natürliche Zahl"}$.
@@ -75,7 +75,7 @@ So eine Aussagenform $H(x)$ nennt man auch *definierenden Ausdruck*.
 Man schreibt Mengen mit definierenden Ausdrücken häufig so:
 $M = \{ x\ |\ H(x) \}$.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-2 */}
 Das obige Beispiel mit den geraden natürlichen Zahlen schreibt man also so:
 $M = \{ x\ |\ x \in \mathbb{N} \wedge x \text{ gerade} \}$
 
@@ -83,26 +83,26 @@ Weitere Beispiele sind:
 - Menge aller deutschen Bundesländer: $M = \{ x\ |\ x \text{ ist deutsches Bundesland} \}$
 - Menge aller reellen Zahlen von 0 bis 2: $M = \{ x\ |\ x \in \mathbb{R} \wedge 0 \le x \le 2 \}$
 - Menge der ganzzahligen Lösungen einer Gleichung: $M = \{ x\ |\ x \in \mathbb{Z} \wedge x^2 + 2 = 4x - 1 \}$
-- Menge aller ganzen Quadratzahlen: $M = \{ x\ |\ \exists y \in \mathbb{Z}:\ x = y^2 \}$
+- Menge aller ganzen Quadratzahlen: $M = \{ x\ |\ \exists y \in \mathbb{Z} \colon x = y^2 \}$
 
-:::note Extensionalitätsaxiom (ZF) / Gleichheit von Mengen
+:::note[Extensionalitätsaxiom (ZF) / Gleichheit von Mengen]
 
 Zwei Mengen sind gleich, wenn sie die gleichen Elemente besitzen:
 $$
     \begin{equation*}
-        A = B\ :=\ \forall x:\ x \in A \leftrightarrow x \in B 
+        A = B \coloneqq \forall x \colon x \in A \leftrightarrow x \in B
     \end{equation*}
 $$
 
 :::
 
-## Mengenalgebra
+## Mengenalgebra {/* #mengenalgebra */}
 Auf Mengen kann verschiedene Operationen durchführen.
 Man stelle sich vor, man möchte zwei Mengen zusammenfassen zu einer oder man möchte eine Menge erzeugen, 
 die nur die Elemente enthält, die zwei Mengen gemeinsam haben.
 Diese Mengenoperationen werden im folgenden vorgestellt.
 
-### Mengenoperationen
+### Mengenoperationen {/* #mengenoperationen */}
 Charakteristisch für Mengenoperationen ist, dass sie direkt auf den logischen Operatoren basieren und das auch in ihren
 Operationssymbolen wiederspiegeln.
 Zwischen den Mengen- und den Logikoperatoren besteht also eine enge Verbindung, 
@@ -115,14 +115,14 @@ Diese Ovale können überlappen, um zu zeigen, dass sie Elemente gemeinsam haben
 Der in lila eingefärbte Bereich ist dann die neue Menge, die entsteht, wenn man eine Mengenoperation auf den vorhanden Mengen ausführt.
 Eine solche Darstellung nennt man *Venn-Diagramm*[^2].
 
-#### Durchschnitt
+#### Durchschnitt {/* #durchschnitt */}
 Die Menge die entsteht, wenn man nur die Elemente aus zwei gegebenen Mengen nimmt, die sie gemeinsam haben nennt man *Durchschnitt*
 oder *Schnittmenge*.
 
-:::note Durchschnitt
+:::note[Durchschnitt]
 
 $$
-    A \cap B := \{ x\ |\ x \in A \wedge x \in B \}
+    A \cap B \coloneqq \{ x\ |\ x \in A \wedge x \in B \}
 $$
 
 gesprochen: "A geschnitten B"
@@ -132,7 +132,7 @@ Zugehöriges Venn-Diagramm:
 
 ![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/durchschnitt.png)
 
-##### Beispiele
+##### Beispiele {/* #beispiele-3 */}
 Gegeben seien $A = \{ a, b, c \}$ und $B = \{ b, c, d \}$.
 Dann ist $A \cap B = \{ b, c \}$.
 
@@ -147,15 +147,15 @@ Die beiden Mengen $A$ und $B$ sind gleich - entsprechend auch deren Durchschnitt
 Gegeben seien $A = \{ x\ |\ x \in \mathbb{N} \wedge x \text{ ist gerade} \}$ und $B = \{ 2, 8, 1001, 4088, 9999 \}$.
 Dann ist $A \cap B = \{2, 8, 4088 \}$.
 
-#### Vereinigung
+#### Vereinigung {/* #vereinigung */}
 Die Menge die entsteht, wenn man die Elemente aus zwei gegebenen Mengen nimmt, und sie in einer Menge *vereinigt*
 nennt man *Vereinigung* oder *Vereinigungsmenge*.
 Elemente, die in beiden vorkommen, werden dabei nur einmal gezählt.
 
-:::note Vereinigung
+:::note[Vereinigung]
 
 $$
-    A \cup B := \{ x\ |\ x \in A \vee x \in B \}
+    A \cup B \coloneqq \{ x\ |\ x \in A \vee x \in B \}
 $$
 
 gesprochen: "A vereinigt B"
@@ -165,7 +165,7 @@ Zugehöriges Venn-Diagramm:
 
 ![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/vereinigung.png)
 
-##### Beispiele
+##### Beispiele {/* #beispiele-4 */}
 Gegeben seien $A = \{ a, b, c \}$ und $B = \{ b, c, d \}$.
 Dann ist $A \cup B = \{ a, b, c, d \}$.
 
@@ -176,13 +176,13 @@ Gegeben seien $A = \{ a, b, c \}$ und $B = \{ a, b, c \}$.
 Dann ist $A \cup B = \{ a, b, c \} = A = B$.
 Die beiden Mengen $A$ und $B$ sind gleich - entsprechend auch deren Vereinigung.
 
-#### Komplement
+#### Komplement {/* #komplement */}
 Das *Komplement* einer Menge besteht gerade aus den Elementen, die nicht in der Menge $A$ liegen, also alles andere außer die Menge $A$.
 
-:::note Komplement
+:::note[Komplement]
 
 $$
-    \overline{A} = A^\complement := \{ x\ |\ \neg (x \in A) \} = \{ x\ |\ x \notin A \}
+    \overline{A} = A^\complement \coloneqq \{ x\ |\ \neg (x \in A) \} = \{ x\ |\ x \notin A \}
 $$
 
 gesprochen: "Komplement von A"
@@ -192,7 +192,7 @@ Zugehöriges Venn-Diagramm:
 
 ![Venn Diagramm zum Mengen-Durchschnitt](/img/mathematik/mengenlehre/komplement.png)
 
-##### Beispiele
+##### Beispiele {/* #beispiele-5 */}
 Gegeben seien $M = \{ a, b, c, d, e \}$ und $A = \{ b, c, d \}$.
 Dann ist $\overline{A} = \{ a, e \}$.
 Hier ist es wichtig, dass wir $A$ in einen Bezug zu einer anderen "Übermenge" $M$ setzen.
@@ -202,14 +202,14 @@ Die Menge $A$ ist ein Teil des Universums $M$.
 Gegeben sei das Universum $A = \{ b, c, d \}$.
 Dann ist $\overline{A} = \emptyset$.
 
-#### Differenz
+#### Differenz {/* #differenz */}
 Wenn man zwei Mengen hat und man möchte eine Menge bilden, die nur die Elemente enthält, die in einer Menge vorkommen, 
 aber ohne die Elemente, die auch in der anderen liegen, dann ist das die *Differenzmenge* oder *Mengendifferenz*.
 
-:::note Differenz
+:::note[Differenz]
 
 $$
-    A \setminus B := \{ x\ |\ x \in A \wedge x \notin B \}
+    A \setminus B \coloneqq \{ x\ |\ x \in A \wedge x \notin B \}
 
 $$
 
@@ -223,7 +223,7 @@ Zugehöriges Venn-Diagramm:
 Für die Differenz und das Komplement gilt eine besondere Beziehung:
 Sei $M$ das Universum und $A$ Teil des Universums, dann gilt: $M \setminus A = \overline{A}$.
 
-##### Beispiele
+##### Beispiele {/* #beispiele-6 */}
 Gegeben seien $A = \{ a, b, c, d \}$ und $B = \{ b, c, d, e \}$.
 Dann ist $A \setminus B = \{ a \}$.
 
@@ -236,10 +236,10 @@ Dann ist $M \setminus A = \{ a, d \} = \overline{A}$.
 Die Mengenoperationen wurden anhand Mengen 1. Stufe eingeführt, wie es die Symboliken erahnen lassen.
 Jedoch gelten diese auch für Mengen höherer Stufen.
 
-### Rechenregeln für Mengenoperationen
+### Rechenregeln für Mengenoperationen {/* #rechenregeln-für-mengenoperationen */}
 Für die Mengenoperationen gibt es gewisse Rechenregeln, die hier nun vorgestellt werden sollen.
 
-:::tip Rechenregeln für Mengenoperationen
+:::tip[Rechenregeln für Mengenoperationen]
 
 1. $$
    \begin{align*}
@@ -294,7 +294,7 @@ so ist es keineswegs sicher, dass es im Allgemeinen gilt.
 In der Mathematik muss man auch solche Kleinigkeiten beweisen.
 Also folgt an dieser Stelle ein erster Beweis für die Assoziativität des Durchschnitts:
 
-#### Beweis
+#### Beweis {/* #beweis */}
 Zu zeigen ist: $(A \cap B) \cap C = A \cap (B \cap C)$
 $$
 \begin{alignat*}{2}
@@ -313,17 +313,17 @@ Das $\blacksquare$ markiert schließlich das Ende des Beweises.
 
 Nach ähnlichem Schema können nun auch die anderen Regeln bewiesen werden.
 
-### Teilmenge
+### Teilmenge {/* #teilmenge */}
 In den Beispielen beim [Komplement](#beispiele-5) tauchte folgender Satz auf:
 > Die Menge $A$ ist ein Teil des Universums $M$.
 
 Dieses Wort "Teil" lässt sich wie folgt definieren:
 
-:::note Inklusion
+:::note[Inklusion]
 
 Seien $M, A$ Mengen.
-- $A \subseteq M := \forall x:\ x \in A \rightarrow x \in M$
+- $A \subseteq M \coloneqq \forall x \colon x \in A \rightarrow x \in M$
-- $A \subset M := A \subseteq M \wedge A \ne M$
+- $A \subset M \coloneqq A \subseteq M \wedge A \ne M$
 
 Für $A \subseteq M$ spricht man "$A$ ist *Teilmenge* von $M$" und
 für $A \subset M$ spricht man "$A$ ist *echte Teilmenge* von $M$"
@@ -332,7 +332,7 @@ für $A \subset M$ spricht man "$A$ ist *echte Teilmenge* von $M$"
 Eine Teilmenge $A$ ist also mit ihren Elementen ganz und gar in ihrer *Obermenge* $M$ enthalten.
 Man bezeichnet diese Teilmengenbeziehung auch als *Inklusion*.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-7 */}
 Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ a, b \}$.
 Dann gilt $A \subseteq M$. 
 Es gilt sogar $A \subset M$.
@@ -343,13 +343,13 @@ Dann gilt $A \subseteq M$, aber nicht $A \subset M$.
 Gegeben seien $M = \{ a, b, c, d \}$ und $A = \{ e, f, g \}$.
 Dann gilt $A \not\subseteq M$.
 
-### Verband
+### Verband {/* #verband */}
 In der Mathematik untersucht man viele Strukturen.
 Strukturen sind dabei meist eine Menge mit zusätzlichen Dingen, wie Operationen.
 Die formale Definition einer ($n$-stelligen) Operation erfolgt später.
 Hier sei nur gesagt, dass $\cap$ und $\cup$ *zweistellige Operationen* sind.
 
-:::note Verband
+:::note[Verband]
 
 Seien $\mathfrak{M}$ Menge und $\cap, \cup$ zweistellige Operationen in $\mathfrak{M}$.
 
@@ -371,11 +371,11 @@ Wie diese Operation aussieht ist egal.
 Es kann also auch eine völlig andere Operation gewählt werden, solange sie die Rechenregeln erfüllt ist es ein Verband.
 $\cap$ und $\cup$ stehen also lediglich für ein Symbol, das gegen ein anderes Symbol und entsprechender Bedeutung ausgetauscht werden kann.
 
-### Potenzmenge
+### Potenzmenge {/* #potenzmenge */}
 Eine wichtige Menge (mindestens) zweiter Stufe ist die *Potenzmenge*.
 Die *Menge aller Teilmengen*.
 
-:::note Potenzmenge
+:::note[Potenzmenge]
 
 Sei $M$ Menge, dann heißt $2^M = \mathcal{P}(M) = \{ A\ |\ A \subseteq M \}$ *Potenzmenge* von $M$.
 
@@ -384,7 +384,7 @@ Die Bezeichnung $2^M$ kommt daher, da die Anzahl der Elemente in der Potenzmenge
 Wenn also $M$ drei Elemente enthält, dann hat $\mathcal{P}(M)$ $2^3 = 8$ Elemente.
 Die Anzahl der Elemente einer Menge wird im Abschnitt [Endlichkeit und Kardinalzahlen](./endlichkeit) weiter thematisiert.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-8 */}
 Gegeben sei $M = \{ a, b, c \}$.
 Dann ist $\mathcal{P}(M) = \{ \emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, M \}$ Potenzmenge von $M$.
 Man beachte, dass insbesondere auch die leere Menge $\emptyset$ und die Menge $M$ selbst Teilmengen von $M$ sind.

docs/mathematik/mengenlehre/mengenlehre.mdx

@@ -5,7 +5,7 @@ sidebar_position: 1
 ---
 
 # Mengenlehre
-## Themen
+## Themen {/* #themen */}
 In diesem Teil möchte ich über folgende Themen sprechen:
 
 1. [Elemente der Logik](logik)
@@ -18,7 +18,7 @@ In diesem Teil möchte ich über folgende Themen sprechen:
 4. [Verallgemeinerte mengentheoretische Relationen](verallgemeinerte_relationen)
 5. [Endlichkeit und Kardinalzahlen](endlichkeit)
 
-## Über die Mengenlehre
+## Über die Mengenlehre {/* #über-die-mengenlehre */}
 Die Logik und die Mengenlehre sind eng miteinander verknüpft und bilden die allgemeinen Grundlagen der Mathematik.
 Sie wurde von [Georg Cantor](https://de.wikipedia.org/wiki/Georg_Cantor) im 19. Jahrh. begründet.
 Cantor definierte dabei, was man unter einer *Menge* versteht und untersuchte diese Strukturen dann, u.a. die *Mächtigkeit* von Mengen.
@@ -32,11 +32,11 @@ Der Begriff der *Unendlichkeit* wurde dabei von ihm in besonderem Maße geprägt
 
 Allerdings führte das Cantor'sche Modell der Mengenlehre, auch *naive Mengenlehre* genannt, auch zu *Antinomien* (Widersprüchen).
 [Bertrand Russell](https://de.wikipedia.org/wiki/Bertrand_Russell) entdeckte diese Widersprüche und machte sie publik.
-Die heutige Mathematik beruht auf einer axiomatisierten Mengenlehre und wird auch *Zermelo-Fraenkel-Mengenlehre* genannt.
+Die heutige Mathematik beruht auf einer axiomatisierten Mengenlehre und wird auch *Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom* genannt.
-Doch ist die naive Mengenlehre ein Teil der ZF-Mengenlehre und daher nach wie vor ein einfacher und guter Zugang.
+Doch ist die naive Mengenlehre ein Teil der ZFC-Mengenlehre (**Z**ermelo, **F**raenkel, Axiom of **C**hoice) und daher nach wie vor ein einfacher und guter Zugang.
 
-## Naive Mengenlehre nach Cantor
+## Naive Mengenlehre nach Cantor {/* #naive-mengenlehre-nach-cantor */}
-:::note Menge
+:::note[Menge]
 
 Unter einer *Menge* verstehen wir jede Zusammenfassung $M$ von bestimmten wohlunterschiedenen Objekten $m$ 
 unserer Anschauung oder unseres Denkens zu einem Ganzen.
@@ -47,26 +47,26 @@ Mengen werden dabei mit den *Mengenklammern* $\{$ und $\}$ aufgeschrieben.
 Außerdem wird das Symbol $\in$ dafür verwendet um zu beschreiben, dass ein *Element* $m$ zu einer Menge $M$ gehört: $m \in M$.
 Dagegen wird $\notin$ dafür verwendet, um zu beschreiben, dass ein Element $n$ nicht zur Menge $M$ gehört: $n \notin M$.
 
-### Beispiele für Mengen
+### Beispiele für Mengen {/* #beispiele-für-mengen */}
-#### Ziffern 0 bis 5
+#### Ziffern 0 bis 5 {/* #ziffern-0-bis-5 */}
 Die Menge der Ziffern *0* bis *5*:
 $$
 Z = \{ 0, 1, 2, 3, 4, 5 \}
 $$
 Dabei gilt z.B. $1 \in Z$ und $4 \in Z$, aber nicht $8 \in Z$, also $8 \notin Z$.
 
-#### Ballarten
+#### Ballarten {/* #ballarten */}
 Folgendes könnte eine Menge von verschiedenen, aber nicht allen Ballarten sein:
 $$
 B = \{ \text{Fußball}, \text{Tennisball}, \text{Baseball} \}
 $$
 Es gilt z.B. $\text{Fußball} \in B$ und $\text{Basketball} \notin B$.
 
-### Antinomien
+### Antinomien {/* #antinomien */}
 Diese *naive* Auffassung von Menge birgt allerdings Widersprüche, auch *Antinomien* genannt.
 
-#### Russell'sche Menge
+#### Russell'sche Menge {/* #russellsche-menge */}
-:::note Russell'schen Menge
+:::note[Russell'schen Menge]
 
 Menge aller Mengen, die sich nicht selbst als Element enthalten.
 
@@ -77,9 +77,9 @@ $$$
 A \in X \text{ genau dann, wenn } A \notin A
 $$$
 
-:::danger Aber gilt nun $X \in X$?
+:::danger[Aber gilt nun $X \in X$?]
 
-Für $A := X$ erhält man den Widerspruch
+Für $A \coloneqq X$ erhält man den Widerspruch
 $$
 X \in X \text{ genau dann, wenn } X \notin X
 $$
@@ -90,10 +90,10 @@ Das funktioniert eben nicht: Wenn die Menge $X$ in $X$ selbst als Element liegt,
 da wir die Menge $X$ ja gerade so definiert haben, dass sie nur die Mengen enthält, die sich nicht selbst enthalten.
 Andersherum heißt es, dass wenn $X$ nicht in $X$ ist, dann müsste sie in $X$ liegen wegen der Definition von $X$.
 
-#### Barbier von Sevilla
+#### Barbier von Sevilla {/* #barbier-von-sevilla */}
 Ein anderes Beispiel ist die Anekdote vom *Barbier von Sevilla*, die ebenfalls von Russell stammt.
 
-:::note Barbier von Sevilla
+:::note[Barbier von Sevilla]
 
 Der Barbier $B$ ist derjenige Mann von Sevilla, der genau die Männer $M$ von Sevilla rasiert, die sich nicht selbst rasieren.
 
@@ -108,9 +108,9 @@ $$$
 M \in B \text{ genau dann, wenn } M \notin M
 $$$
 
-:::danger Rasiert der Barbier sich selbst?
+:::danger[Rasiert der Barbier sich selbst?]
 
-Für $M := B$ erhält man den Widerspruch
+Für $M \coloneqq B$ erhält man den Widerspruch
 $$
 B \in B \text{ genau dann, wenn } B \notin B
 $$

docs/mathematik/mengenlehre/relationen/1_kartesisches_produkt_relationen.mdx

@@ -9,12 +9,12 @@ d.h. sie sind einfach in der Menge ohne Bedeutung und ohne Reihenfolge.
 Manchmal benötigt man jedoch so etwas wie eine Reihenfolge oder 
 möchte Mengen miteinander in eine gewisse Verbindung bringen, ohne sie einfach nur zu Vereinigen.
 
-## Kartesisches Produkt
+## Kartesisches Produkt {/* #kartesisches-produkt */}
-:::note Geordnete Paare
+:::note[Geordnete Paare]
 
 Ein *geordnetes Paar* (*2-Tupel*) mit den Elementen $a$ und $b$ ist wie folgt als Menge definiert:
 $$
-    (a, b)\ :=\ \{ \overbrace{\{a, b\}}^{\text{Elemente des Tupels}}, \underbrace{\{a\}}_{\text{Erstes Element}} \}
+    (a, b) \coloneqq \{ \overbrace{\{a, b\}}^{\text{Elemente des Tupels}}, \underbrace{\{a\}}_{\text{Erstes Element}} \}
 $$ 
 
 :::
@@ -26,7 +26,7 @@ Ein Verband haben wir als ein *Tripel* eingeführt.
 Ein Tripel ist ein 3-Tupel.
 Allgemein lassen sich rekursiv n-Tupel wie folgt definieren:
 
-:::note n-Tupel
+:::note[n-Tupel]
 
 - 1-Tupel: $(x_1) = \{ x_1 \}$
 - 2-Tupel: $(x_1, x_2) = \{ \{x_1, x_2\}, \{x_1\} \}$
@@ -54,34 +54,34 @@ Wir wollen es an dieser Stelle allerdings dabei belassen und nehmen es einfach h
 Man kann nun Tupel zu einer Menge zusammenfassen.
 Die Menge aller Tupel von Mengen nennt man *kartesisches Produkt*:
 
-:::note Kartesisches Produkt
+:::note[Kartesisches Produkt]
 
 Seien $A$ und $B$ Mengen, dann ist das *kartesische Produkt* der Mengen $A$ und $B$ definiert als
 $$
-    A \times B\ :=\ \{ (a,b)\ |\ a \in A \wedge b \in B \}
+    A \times B \coloneqq \{ (a,b)\ |\ a \in A \wedge b \in B \}
 $$
 
 Mit 
-- $A^0 := \{ \emptyset \}$
+- $A^0 \coloneqq \{ \emptyset \}$
-- $A^1 := A$
+- $A^1 \coloneqq A$
-- $A^{n+1} := A^n \times A$ 
+- $A^{n+1} \coloneqq A^n \times A$
 
 erhalten wir die *n-fache kartesische Potenz*.
 
 :::
 
-## Relationen
+## Relationen {/* #relationen */}
 Das kartesische Produkt erlaubt es uns jetzt Paare in einer Menge zusammenzufassen.
 Daraus können wir nun eine Teilmenge betrachten.
 
-:::note Relation
+:::note[Relation]
 
 Seien $A$, $B$ Mengen.
-Man nennt $R$ *Relation* oder *Korrespondenz* __aus__ $A$ __in__ $B$ $:=\ R \subseteq A \times B$
+Man nennt $R$ *Relation* oder *Korrespondenz* __aus__ $A$ __in__ $B$ $\coloneqq\ R \subseteq A \times B$
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele */}
 Nehmen wir eine Menge mit drei Elementen $A = \{a_1, a_2, a_3\}$ und bilden alle möglichen Paare.
 Diese Paare fassen wir nun in einer Menge zusammen: 
 $$
@@ -110,25 +110,25 @@ Dennoch sollte man darauf achten, ob man gerade mit einer echten Funktion oder n
 wenn man mit diesen Begriffen jongliert.
 Funktionen werden aber sehr bald schon eingeführt.
 
-### Definitions- und Wertebereich
+### Definitions- und Wertebereich {/* #definitions--und-wertebereich */}
 Es ist sinnvoll Mengen zu definieren, die nur die Elemente ersten oder die zweiten Elemente einer Relation erfasst:
 
-:::note Definitions- und Wertebereich
+:::note[Definitions- und Wertebereich]
 
 - *Definitionsbereich* von $R$: 
    $$
-      D(R)\ :=\ \{ x\ |\ x \in A \wedge \exists y \in B:\ (x,y) \in R \}
+      D(R) \coloneqq \{ x\ |\ x \in A \wedge \exists y \in B \colon (x,y) \in R \}
    $$
    Der Definitionsbereich von $R$ umfasst also alle Elemente $x$ aus $A$, für die es ein $y$ aus $B$ gibt.
 - *Wertebereich* oder *Bild* von $R$:
    $$
-      W(R)\ :=\ \{ y\ |\ y \in B \wedge \exists x \in A:\ (x,y) \in R \}
+      W(R) \coloneqq \{ y\ |\ y \in B \wedge \exists x \in A \colon (x,y) \in R \}
    $$
    Der Wertebereich oder das Bild von $R$ umfasst also alle Elemente $y$ aus $B$, für die es ein $x$ aus $A$ gibt.
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-1 */}
 Gegeben sei $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$.
 Dann sind:
 - $D(R) = \{ 1, 2, 3, 5 \}$
@@ -156,28 +156,28 @@ Dann sind:
 
 Je nachdem, ob der Definitions- oder Wertebereich die gesamte Menge $A$ bzw. $B$ umfasst gibt es verschiedene Sprechweisen.
 
-:::note Sprechweisen
+:::note[Sprechweisen]
 
 $R$ ist Relation
-- "*__von__* $A$ *in* $B$" $:=\ D(R) = A$
+- "*__von__* $A$ *in* $B$" $\coloneqq\ D(R) = A$
-- "*aus* $A$ *__auf__* $B$" $:=\ W(R) = B$
+- "*aus* $A$ *__auf__* $B$" $\coloneqq\ W(R) = B$
-- "*__von__* $A$ *__auf__* $B$" $:=\ D(R) = A \wedge W(R) = B$
+- "*__von__* $A$ *__auf__* $B$" $\coloneqq\ D(R) = A \wedge W(R) = B$
 
 :::
 
 Wenn nun eine Relation gegeben ist, dann möchte man vielleicht die Frage stellen "Welche $y$-Werte werden für ein $x$ angenommen?"
 und möchte dies formal ausdrücken bzw. aufschreiben, ohne dabei immer die Tupel angeben zu müssen.
 
-:::note Schreibweise 1
+:::note[Schreibweise 1]
 
 Sei $R$ Relation.
 $$
-   R(x)\ :=\ \{ y\ |\ y \in B \wedge (x,y) \in R \}
+   R(x) \coloneqq \{ y\ |\ y \in B \wedge (x,y) \in R \}
 $$
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-2 */}
 Gegeben sei $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$.
 Dann ist:
 $$
@@ -197,16 +197,16 @@ Man erkennt an diesem Beispiel schon einen gewissen Aufbau: "$x$ ist verwandt mi
 Häufig schreibt man in so einem Fall also nicht $(x,y) \in R$ oder $R(x) = \{y, (\dots)\}$, sondern zieht die
 Relationsbezeichnung in die Mitte:
 
-:::note Schreibweise 2
+:::note[Schreibweise 2 (Infix-Schreibweise)]
 
 Sei $R$ Relation.
 $$
-    x R y\ :=\ (x,y) \in R
+    x R y \coloneqq (x,y) \in R
 $$
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-3 */}
 Sei $R$ jeweils die Relation in den Stichpunkten.
 Statt $x R y$ schreibt man in konkreten Fällen dann:
 - $x$ ist verwandt mit $y$
@@ -219,21 +219,21 @@ Wir werden uns später noch mit Ordnungsrelationen und Operationen beschäftigen
 Aber an dieser Stelle sind es nur symbolische Beispiele, wieso es sinnvoll ist, manche Relationen in dieser Schreibweise zu präsentieren.
 
 
-### Verkettung und Inverse
+### Verkettung und Inverse {/* #verkettung-und-inverse */}
 Man kann auch zwei Relationen kombinieren, sofern diese *in* und *aus* den gleichen Mengen korrespondieren - in dieser Reihenfolge.
 
-:::note Verkettung / Relationenprodukt
+:::note[Verkettung / Relationenprodukt]
 
 Seien $R \subseteq A \times B$ und $K \subseteq B \times C$ Relationen.
 Dann ist die Verkettung von $R$ mit $K$ definiert als:
 $$
-   F \circ K\ :=\ \{ (x,z)\ |\ \exists y \in B:\ (x,y) \in R \wedge (y,z) \in K \}
+   R \circ K \coloneqq \{ (x,z)\ |\ \exists y \in B \colon (x,y) \in R \wedge (y,z) \in K \}
 $$
-Also ist $F \circ K \subseteq A \times C$.
+Also ist $R \circ K \subseteq A \times C$.
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-4 */}
 Gegeben seien $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $C = \{\alpha, \beta, \gamma\}$.
 $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$ und 
 $K = \{(a, \alpha), (a, \beta), (a, \gamma), (b, \beta), (c, \alpha)\} \subseteq B \times C$ seien Relationen.
@@ -243,7 +243,7 @@ Als Bild veranschaulicht:
 
 Die Verkettung sind dann die Paare, die gebildet werden können, wenn man alle möglichen Pfeile in den schaubildern entlang geht.
 $$
-    F \circ K = \{(1, \alpha), (1, \beta), (1, \gamma), (2, \beta), (3, \beta)\}
+    R \circ K = \{(1, \alpha), (1, \beta), (1, \gamma), (2, \beta), (3, \beta)\}
 $$
 Im folgenden Schaubild sind die einzelnen Relationen aufgeführt, nur dieses sind die Pfeile rot eingefärbt,
 die für die Verkettung relevant sind.
@@ -254,13 +254,13 @@ Rechts im Bild ist dann nur noch das Resultat der Verkettung $R \circ K$ zu sehe
 
 Relationen kann man auch umkehren.
 Die Rolle der ersten Elemente eines Tupels vertauscht sich dann mit den zweiten Elementen.
-Das heißt, Wenn $x$ mit $y$ in Relation steht, also $(x,y) \in R$, dann ist das *Inverse* dazu $(y,x) \in R^{-1}$.
+Das heißt, wenn $x$ mit $y$ in Relation steht, also $(x,y) \in R$, dann ist das *Inverse* dazu $(y,x) \in R^{-1}$.
 
-:::note Inverse Relation
+:::note[Inverse Relation]
 
 Gegeben sei $R \subseteq A \times B$
 $$
-    R^{-1}\ :=\ \{(y,x)\ |\ (x,y) \in R \} \subset B \times A
+    R^{-1} \coloneqq \{(y,x)\ |\ (x,y) \in R \} \subset B \times A
 $$
 ist die *inverse Relation* zu $R$.
 
@@ -268,18 +268,18 @@ ist die *inverse Relation* zu $R$.
 Man beachte, dass sich entsprechend das kartesische Produkt umdreht.
 Also wenn $R \subseteq A \times B$, dann ist $R^{-1} \subseteq B \times A$.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-5 */}
 Gegeben seien $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$.
 Das Inverse $R^{-1}$ von $R$ ist jetzt jedes Paar aus $R$ umgedreht:
 $$
-    R^{-1} = \{ a,1), (b,2), (b,3), (d,1), (d,4) \}
+    R^{-1} = \{ (a,1), (b,2), (b,3), (d,1), (d,4) \}
 $$
 Veranschaulicht:
 
 ![Relation R und Inverse von R veranschaulicht durch Pfeile](/img/mathematik/mengenlehre/relationen/inverse_rel.png)
 
 Für die Verkettung und das Inverse gelten nun folgende Eigenschaften:
-:::tip Sätze über Verkettung und Inverse von Relationen
+:::tip[Sätze über Verkettung und Inverse von Relationen]
 
 1. Die Verkettung ist assoziativ: $(R \circ K) \circ F = R \circ (K \circ F )$
 2. $(R^{-1})^{-1} = R$
@@ -295,15 +295,15 @@ Trivial ist eine oft benutzte Bezeichnung in der Mathematik, wenn etwas offensic
 also so leicht, dass man keinen extra beweis dafür angibt - dennoch gibt es Fallen und es sollte nicht leichtfertig benutzt werden.
 In diesem Fall mache man sich klar, dass 2. wirklich gilt und beweise es sogar.
 
-#### Beweis von 3
+#### Beweis von 3 {/* #beweis-von-3 */}
 Der dritte Satz ist eine schöne Beziehung zwischen Verkettung und den inversen Relationen.
 $$
 \begin{alignat*}{2}
     \quad && &(z,x) \in (R \circ K)^{-1}\\
     \overset{\text{Def. } \square^{-1}}{\Longleftrightarrow}\quad && &(x,z) \in R \circ K\\
-    \overset{\text{Def. } \circ}{\Longleftrightarrow}\quad && &\exists y:\ (x,y) \in R \wedge (y,z) \in K\\
+    \overset{\text{Def. } \circ}{\Longleftrightarrow}\quad && &\exists y \colon (x,y) \in R \wedge (y,z) \in K\\
-    \overset{\text{Def. } \square^{-1}}{\Longleftrightarrow}\quad && &\exists y:\ (y,x) \in R^{-1} \wedge (z,y) \in K^{-1}\\
+    \overset{\text{Def. } \square^{-1}}{\Longleftrightarrow}\quad && &\exists y \colon (y,x) \in R^{-1} \wedge (z,y) \in K^{-1}\\
-    \overset{\text{Kom. } \wedge}{\Longleftrightarrow}\quad && &\exists y:\ (z,y) \in K^{-1} \wedge (y,x) \in R^{-1}\\
+    \overset{\text{Kom. } \wedge}{\Longleftrightarrow}\quad && &\exists y \colon (z,y) \in K^{-1} \wedge (y,x) \in R^{-1}\\
     \overset{\text{Def. } \circ}{\Longleftrightarrow}\quad && &(z,x) \in K^{-1} \circ R^{-1}
         \qquad\qquad\qquad\qquad\blacksquare
 \end{alignat*}

docs/mathematik/mengenlehre/relationen/2_abbildungen.mdx

@@ -8,14 +8,14 @@ Eine der wichtigsten Relationen überhaupt stellen die *Abbildungen* da.
 Sie tauchen überall in der Mathematik auf und in der Realität lassen sich viele Probleme durch diese 
 speziellen Relationen darstellen.
 
-## Funktionen
+## Funktionen {/* #funktionen */}
 Bevor wir uns den Abbildungen widmen, definieren wir die Eindeutigkeit:
 
-:::note Eindeutigkeit
+:::note[Eindeutigkeit]
 
 Eine Relation $R \subseteq A \times B$ ist *eindeutig*, wenn
 $$
-    \forall x \in A\ \forall y, y' \in B:\ (x,y) \in R \wedge (x,y') \in R \rightarrow y = y'
+    \forall x \in A\ \forall y, y' \in B \colon (x,y) \in R \wedge (x,y') \in R \rightarrow y = y'
 $$
 
 :::
@@ -30,38 +30,38 @@ Bei der Eindeutigkeit ist es egal, wie viele Pfeile rechts auf ein Element zugeh
 
 ![Eindeutigkeit bei einer Relation dargestellt](/img/mathematik/mengenlehre/relationen/eindeutige_rel.png)
 
-:::note Abbildung / Funktion
+:::note[Abbildung / Funktion]
 
-$f$ ist *Abbildung* oder *Funktion* von $A$ in $B$ $:=$
+$f$ ist *Abbildung* oder *Funktion* von $A$ in $B$ $:\Leftrightarrow$
 - $f$ ist Relation, also $f \subseteq A \times B$
 - $D(f) = A$, also $f$ ist Relation *__von__ $A$ in $B$*
 - $f$ ist eindeutig
 
 Mathematisch-logisch aufgeschrieben:
 $$
-    \forall x \in A\ \exists ! y \in B:\ (x,y) \in A \times B
+    \forall x \in A\ \exists ! y \in B \colon (x,y) \in A \times B
 $$
 
 :::
-Man schreibt dafür: $f:\ A \rightarrow B$.  
+Man schreibt dafür: $f \colon A \rightarrow B$.
 Statt $R(x) = \{y\}$ wie bei normalen Relationen, schreibt man verkürzt $f(x) = y$, da das $y$ ja nun eindeutig ist.
 
 Eine Funktion ordnet also jedem Element aus $A$ genau ein $y$ aus $B$ zu.
 
 In der Analysis und auch in anderen mathematischen Gebieten findet man häufig eine alternative textliche Einführung:
 
-:::note Alternative Definition
+:::note[Alternative Definition]
 
 Eine Abbildung oder eine Funktion einer Menge $A$ in eine Menge $B$ ordnet jedem Element $x \in A$ genau ein Element $y \in B$ zu.
 
 :::
 Bei dieser Definition wird komplett auf die mengentheoretische Begriffe wie *geordnetes Paar* oder auch *Relation* verzichtet.
-Erst aufbauend darauf wird dann mengentheoretisch der *Graph der Funktion* definiert als $G_f := \{(x,f(x))\ |\ x \in A \wedge f(x) \in B\} \subseteq A \times B$.
+Erst aufbauend darauf wird dann mengentheoretisch der *Graph der Funktion* definiert als $G_f \coloneqq \{(x,f(x))\ |\ x \in A \wedge f(x) \in B\} \subseteq A \times B$.
 Aus mengentheoretischer Sicht stimmen in diesen Fällen die Begriffe "Funktion" und "Graph der Funktion" überein.
 
-#### Beispiele
+#### Beispiele {/* #beispiele */}
 Gegeben seien $A = \{1, 2, 3, 4, 5\}$ und $B = \{a, b, c, d\}$.
-Eine Abbildung $f:\ A \rightarrow B$ können dann sein:
+Eine Abbildung $f \colon A \rightarrow B$ können dann sein:
 - $f = \{(1,b)\}$
 - $f = \{(1,a), (2,b), (3,b), (4,d)\}$
 - $f = \{(1,b), (2,c), (3,d), (4,a), (5,b)\}$
@@ -70,12 +70,12 @@ Eine Abbildung $f:\ A \rightarrow B$ können dann sein:
 Wenn man eine rechnerische Vorschrift (*Abbildungsvorschrift*) angeben möchte, wie ein $y$ zu einem $x$ berechnet werden soll, 
 dann schreibt man Abbildungen so:
 
-:::note Schreibweisen
+:::note[Schreibweisen]
 
 $$
-    f:\ A \rightarrow B,\ x \mapsto f(x)
+    f \colon A \rightarrow B,\ x \mapsto f(x)
     \qquad\qquad\text{oder}\qquad\qquad
-    f: \begin{cases}
+    f \colon \begin{cases}
         A \rightarrow B\\
         x \mapsto f(x)
     \end{cases}
@@ -84,9 +84,9 @@ wobei anstelle $f(x)$ dann z.B. eine *Funktionsgleichung* tritt.
 
 :::
 
-#### Beispiele
+#### Beispiele {/* #beispiele-1 */}
-- $f:\ \mathbb{R} \rightarrow \mathbb{R},\ x \mapsto x^2 \quad$ für eine Parabel
+- $f \colon \mathbb{R} \rightarrow \mathbb{R},\ x \mapsto x^2 \quad$ für eine Parabel
-- $f: \begin{cases}
+- $f \colon \begin{cases}
      \mathbb{N} \rightarrow \mathbb{R}\\
      x \mapsto \sqrt{x}
   \end{cases} \quad$ für Wurzeln von natürlichen Zahlen
@@ -94,8 +94,8 @@ wobei anstelle $f(x)$ dann z.B. eine *Funktionsgleichung* tritt.
 Es werden noch mehr unterschiedliche Darstellungsformen für Funktionen auftauchen, je nachdem wie es gerade angebracht ist.
 Bis dahin sollten einem die Begriffe allerdings so vertraut vorkommen, dass eine genaue Definition oder Einführung nicht notwendig ist.
 
-## Grundlegende Eigenschaften von Funktionen
+## Grundlegende Eigenschaften von Funktionen {/* #grundlegende-eigenschaften-von-funktionen */}
-Die *Verkettung*, oder auch *Komposition*, $f \circ g: A \rightarrow C$ von Funktionen $f:\ A \rightarrow B$ und $g:\ B \rightarrow C$ ist wieder eine Funktion.
+Die *Verkettung*, oder auch *Komposition*, $f \circ g \colon A \rightarrow C$ von Funktionen $f \colon A \rightarrow B$ und $g \colon B \rightarrow C$ ist wieder eine Funktion.
 Für die Komposition gilt $f \circ g = g(f(x))$.
 In anderer Literatur kann es sein, dass die Komposition anders definiert ist und dann $f \circ g = f(g(x))$ gilt.
 
@@ -103,12 +103,12 @@ Jedoch ist das *Inverse* $f^{-1}$ einer Funktion $f$ im Allgemeinen keine Funkti
 
 Zwei Funktionen $f$ und $g$ sind gleich $f=g$, wenn für alle $x$ gilt $f(x) = g(x)$.
 
-:::note Injektivität, Surjektivität, Bijektivität
+:::note[Injektivität, Surjektivität, Bijektivität]
 
 Sei $f: A \rightarrow B$ eine Funktion.
-- $f$ heißt *injektiv* (*eineindeutig*) $:=\ \forall x,x' \in A:\ f(x) = f(x') \rightarrow x = x'$
+- $f$ heißt *injektiv* (*eineindeutig*) $\coloneqq\ \forall x,x' \in A \colon f(x) = f(x') \rightarrow x = x'$
-- $f$ heißt *surjektiv* (*Abbildung auf $B$*) $:=\ \forall y \in B\ \exists x \in A:\ f(x) = y$
+- $f$ heißt *surjektiv* (*Abbildung auf $B$*) $\coloneqq\ \forall y \in B\ \exists x \in A \colon f(x) = y$
-- $f$ heißt *bijektiv* (*eineindeutige Abbildung auf $B$*) $:=\ f$ ist injektiv und surjektiv
+- $f$ heißt *bijektiv* (*eineindeutige Abbildung auf $B$*) $\coloneqq\ f$ ist injektiv und surjektiv
 
 :::
 *Injektivität* bedeutet, dass jedes $y$ aus der Bildmenge *höchstens einmal* abgebildet wird.
@@ -132,22 +132,22 @@ Es darf also kein Element aus $B$ frei bleiben und es darf nur genau ein Pfeil p
 Dass dabei $A$ und $B$ gleich viele Elemente haben müssen ist kein Zufall.
 Welche Rolle bijektive Abbildungen bei der *Kardinalität* ("Größe") von Mengen haben, wird im Kapitel [Endlichkeit und Kardinalzahlen](../endlichkeit) erklärt.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-2 */}
-Gegeben sei $f:\ \mathbb{N} \rightarrow \mathbb{N},\ n \mapsto f(n)$.
+Gegeben sei $f \colon \mathbb{N} \rightarrow \mathbb{N},\ n \mapsto f(n)$.
 Betrachten verschiedene Funktionsgleichungen für $f(n)$:
-- $f(n)\ :=\ n+1 \quad$ (*Nachfolgerfunktion*) ist injektiv, aber nicht surjektiv, da $0 \notin W(f)$
+- $f(n) \coloneqq n+1 \quad$ (*Nachfolgerfunktion*) ist injektiv, aber nicht surjektiv, da $0 \notin W(f)$
-- $f(n)\ := \begin{cases} \lfloor \frac{n}{2} \rfloor & n \text{ gerade}\\ 0 & n \text{ ungerade} \end{cases} \quad$ ist surjektiv, 
+- $f(n)\ \coloneqq \begin{cases} \left\lfloor \frac{n}{2} \right\rfloor & n \text{ gerade}\\ 0 & n \text{ ungerade} \end{cases} \quad$ ist surjektiv,
   aber nicht injektiv, da z.B. $f(1) = f(3) = 0$
-- $f(n)\ :=\ n \quad$ (*identische Abbildung*) ist injektiv, surjektiv und damit auch bijektiv
+- $f(n) \coloneqq n \quad$ (*identische Abbildung*) ist injektiv, surjektiv und damit auch bijektiv
 
-Gegeben sei $f:\ \mathbb{R} \rightarrow \mathbb{R},\ x \mapsto x^2$, also eine Parabelfunktion.
+Gegeben sei $f \colon \mathbb{R} \rightarrow \mathbb{R},\ x \mapsto x^2$, also eine Parabelfunktion.
 $f$ ist weder injektiv, noch surjektiv.
 Wenn man allerdings die Abbildungsmengen einschränkt, kann man eine injektive, surjektive oder bijektive Abbildung erhalten.
 Im Folgenden bezeichnen wir $\mathbb{R}_{\ge 0}$ als die Menge der nicht-negativen reellen Zahlen, also reelle Zahlen $\ge 0$.
 Am einfachsten ist es, sich die folgenden Fälle zu skizzieren:
-- $f:\ \mathbb{R}_{\ge 0} \rightarrow \mathbb{R},\ x \mapsto x^2 \quad$ ist injektiv, aber nicht surjektiv
+- $f \colon \mathbb{R}_{\ge 0} \rightarrow \mathbb{R},\ x \mapsto x^2 \quad$ ist injektiv, aber nicht surjektiv
-- $f:\ \mathbb{R} \rightarrow \mathbb{R}_{\ge 0},\ x \mapsto x^2 \quad$ ist surjektiv, aber nicht injektiv
+- $f \colon \mathbb{R} \rightarrow \mathbb{R}_{\ge 0},\ x \mapsto x^2 \quad$ ist surjektiv, aber nicht injektiv
-- $f:\ \mathbb{R}_{\ge 0} \rightarrow \mathbb{R}_{\ge 0},\ x \mapsto x^2 \quad$ ist injektiv und surjektiv und damit auch bijektiv
+- $f \colon \mathbb{R}_{\ge 0} \rightarrow \mathbb{R}_{\ge 0},\ x \mapsto x^2 \quad$ ist injektiv und surjektiv und damit auch bijektiv
 
 Zu bijektiven Funktion sagt man auch, sie bilden "*umkehrbar eindeutig*" ab.
 Eingangs wurde erwähnt:
@@ -155,17 +155,17 @@ Eingangs wurde erwähnt:
 
 Im Falle einer bijektiven Abbildung $f$ ist $f^{-1}$ allerdings eine Abbildung und man nennt diese dann *Umkehrabbildung* oder *Umkehrfunktion*.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-3 */}
 Bei einer bijektiven Abbildung, die durch eine Funktionsgleichung $y = f(x)$ gegeben ist, kann man die Umkehrabbildung einfach dadurch berechnen,
 dass man die Funktionsgleichung nach $x$ umstellt.
 Man hat dann einen Ausdruck der Form $x = g(y) = f^{-1}(y)$.
 
-Gegeben sei die Abbildung $f:\ \mathbb{R} \rightarrow \mathbb{R}^+$ mit der Funktionsgleichung $f(x) = e^x$.
+Gegeben sei die Abbildung $f \colon \mathbb{R} \rightarrow \mathbb{R}^+$ mit der Funktionsgleichung $f(x) = e^x$.
 Die Exponentialfunktion ist surjektiv, wenn man diese auf die positiven reellen Zahlen abbildet, also die nicht-negativen reellen Zahlen ohne die $0$:
-$\mathbb{R}^+ := \mathbb{R}_{>0} = \mathbb{R}_{\ge 0} \setminus \{0\}$.
+$\mathbb{R}^+ \coloneqq \mathbb{R}_{>0} = \mathbb{R}_{\ge 0} \setminus \{0\}$.
 Der ganze Beweis der Bijektivität sei an dieser allerdings weggelassen.
 
-Die Umkehrfunktion $f^{-1}:\ \mathbb{R}^+ \rightarrow \mathbb{R}$ kann man nun durch Umstellen nach $y$ berechnen:
+Die Umkehrfunktion $f^{-1} \colon \mathbb{R}^+ \rightarrow \mathbb{R}$ kann man nun durch Umstellen nach $y$ berechnen:
 $$
 \begin{alignat*}{2}
     && y &= f(x)\\
@@ -176,7 +176,7 @@ $$
 \end{alignat*}
 $$
 
-## Erweiterung von Abbildungen
+## Erweiterung von Abbildungen {/* #erweiterung-von-abbildungen */}
 Gegeben seien $S$ als die Menge aller Schulkinder und $K$ als die Menge aller Klassen einer Schule.
 Als Abbildung definieren $k: S \rightarrow K$, die jedem Schulkind die eigene Klasse zuordnet.
 Der Direktor hat nun eine Liste von Schulkindern, mit denen er zusammen sprechen möchte.
@@ -192,28 +192,28 @@ Der Direktor hat eine Liste von Klassen und möchte nun wissen, welche Schulkind
 
 Formal lässt sich das so auffassen:
 
-:::note Erweiterung
+:::note[Erweiterung]
 
-Gegeben seien eine Abbildung $f:\ A \rightarrow B$ und die Teilmengen $X \subseteq A$ und $Y \subseteq B$.
+Gegeben seien eine Abbildung $f \colon A \rightarrow B$ und die Teilmengen $X \subseteq A$ und $Y \subseteq B$.
 
-$\widehat{f}(X)\ :=\ \{ y\ |\ y \in B \wedge \exists x \in X:\ f(x) = y \}$
+$\widehat{f}(X) \coloneqq \{ y\ |\ y \in B \wedge \exists x \in X \colon f(x) = y \}$
 heißt *Erweiterung* von $f$ auf $\mathcal{P}(A)$.
 
-$\widehat{f^{-1}}(Y)\ :=\ \{ x\ |\ x \in A \wedge f(x) \in Y \}$
+$\widehat{f^{-1}}(Y) \coloneqq \{ x\ |\ x \in A \wedge f(x) \in Y \}$
 heißt *Erweiterung* von $\underbrace{f^{-1}}_{\substack{\text{Inverse Relation}\\\text{i.A. keine Abbildung}}}$ auf $\mathcal{P}(B)$.
 
 :::
 
-$\widehat{f}:\ \mathcal{P}(A) \rightarrow \mathcal{P}(B)$ ist wie $f$ wieder eine Abbildung.
+$\widehat{f} \colon \mathcal{P}(A) \rightarrow \mathcal{P}(B)$ ist wie $f$ wieder eine Abbildung.
 Während $f^{-1}$ hier allgemein die inverse Relation ist und damit keine (Umkehr-)Abbildung,
-ist $\widehat{f^{-1}}:\ \mathcal{P}(B) \rightarrow \mathcal{P}(A)$ allerdings immer eine Abbildung.
+ist $\widehat{f^{-1}} \colon \mathcal{P}(B) \rightarrow \mathcal{P}(A)$ allerdings immer eine Abbildung.
 
 Häufig schreibt man statt $\widehat{f}$ auch wieder nur $f$ bzw. für $\widehat{f^{-1}}$ auch wieder $f^{-1}$.
 Eine Verwechslung ist ausgeschlossen, da die Abbildung $f$ ein Element entgegennimmt, 
 während die Erweiterung von $f$ eine Menge entgegennimmt.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-4 */}
-Gegeben sei $f:\ \{1, 2, 3\} \rightarrow \{a, b, c, d\}$ mit $f(1) = a,\ f(2) = c,\ f(3) = a$.
+Gegeben sei $f \colon \{1, 2, 3\} \rightarrow \{a, b, c, d\}$ mit $f(1) = a,\ f(2) = c,\ f(3) = a$.
 Dann sind bspw.:
 - $\widehat{f}(\emptyset) = f(\emptyset) = \emptyset$
 - $\widehat{f}(\{1, 2\}) = f(\{1, 2\}) = \{ a, c \}$
@@ -227,14 +227,14 @@ und
 - $\widehat{f^{-1}}(\{b, d\}) = f^{-1}(\{b, d\}) = \emptyset$
 - $f^{-1}(\{a, b, c, d\}) = f^{-1}(D(f^{-1})) = \{ 1, 2, 3 \} = W(f^{-1})$
 
-## Operationen
+## Operationen {/* #operationen */}
 Im Kapitel [Kartesisches Produkt](kartesisches_produkt_relationen#kartesisches-produkt) wurde bereits die *kartesische Potenz* eingeführt.
 Mit den kartesischen Potenzen führen wir nun eine weitere wichtige Klasse von Abbildungen ein, die *Operationen* oder *Verknüpfungen*.
 Diese spielen in der Algebra eine wichtige Rolle.
 
-:::note Operation oder Verknüpfung
+:::note[Operation oder Verknüpfung]
 
-$f$ heißt *innere $n$-stellige algebraische Operation* $:=\ f:\ A^n \rightarrow A$.
+$f$ heißt *innere $n$-stellige algebraische Operation* $\coloneqq\ f \colon A^n \rightarrow A$.
 
 :::
 
@@ -247,19 +247,19 @@ $2$-stellige Relationen heißen auch *binäre Relationen*.
 Entsprechend heißen $2$-stellige Operationen auch binäre Operation.
 Bereits im Kapitel [Verband](../mengen#verband) wurden zweistellige Operationen das erste Mal genannt.
 
-#### Beispiele
+#### Beispiele {/* #beispiele-5 */}
 Aus dem Kapitel [Verband](../mengen#verband) wissen wir, dass $\cap$ und $\cup$ zweistellige Operationen für eine Menge $A$ sind:
-- $\cap:\ \mathcal{P}^2(A) \rightarrow \mathcal{P}(A)$
+- $\cap \colon \mathcal{P}^2(A) \rightarrow \mathcal{P}(A)$
-- $\cup:\ \mathcal{P}^2(A) \rightarrow \mathcal{P}(A)$
+- $\cup \colon \mathcal{P}^2(A) \rightarrow \mathcal{P}(A)$
 
 Weitere Beispiele:
-- $+:\ \mathbb{N}^2 \rightarrow \mathbb{N}$ als Addition in den natürlichen Zahlen: $+(a, b) = a+b \quad = \quad c$
+- $+ \colon \mathbb{N}^2 \rightarrow \mathbb{N}$ als Addition in den natürlichen Zahlen: $+(a, b) = a+b \quad = \quad c$
   - $+(2,3) = 2 + 3 \quad = \quad 5$
   - $100 + 1 = 101$
-- $\hat{\ }:\ \mathbb{R}^2 \rightarrow \mathbb{R}$ als Potenz: $\hat{\ }(a,b) = a^b \quad = \quad c$
+- $\hat{\ } \colon \mathbb{R}^2 \rightarrow \mathbb{R}$ als Potenz: $\hat{\ }(a,b) = a^b \quad = \quad c$
   - $\hat{\ }(2,2) = 2^2 \quad = \quad 4$
   - $3^4 = 81$
-- $\circ:\ \text{Abb}(A,A)^2 \rightarrow \text{Abb}(A,A)$ als Komposition: $\circ(f,g) = f \circ g = g(f(x)) \quad = \quad h$  
+- $\circ \colon \text{Abb}(A,A)^2 \rightarrow \text{Abb}(A,A)$ als Komposition: $\circ(f,g) = f \circ g = g(f(x)) \quad = \quad h$.
   $\text{Abb}(A,A)$ ist dabei die Menge aller Abbildungen von $A$ in $A$.
   - Mit $f(x) = x^2,\ g(x) = x+2$ ist $\circ(f,g) = f \circ g = g(f(x)) \quad = \quad g(x^2) = x^2+2$
   - Mit $f(x) = \ln(x) + \frac{\pi}{2},\ g(x) = \sin x$ ist 

docs/mathematik/mengenlehre/relationen/3_aequivalenzrelationen.mdx

@@ -4,4 +4,44 @@ tags: [mathematik, mengenlehre, relation, äquivalenzrelation, äquivalenz]
 sidebar_position: 4
 ---
 
-WIP
+Eine weitere wichtige Art der Relationen sind die *Äquivalenzrelationen*.
+Die Äquivalenzrelationen und die mit diesen eng zusammenhängenden *Äquivalenzklassen* sind für viele weiterführende Begriffe der Mathematik essentiell.
+
+# Äquivalenzrelationen
+Bevor wir die Äquivalenzrelationen formal einführen, widmen wir uns erst nochmal ein paar wichtige Einordnungen Relationen betreffend.
+
+:::note[Reflexivität, Symmetrie und Transitivität]
+
+Sei $M$ eine Menge und $\varrho \subseteq M \times M$ eine Relation.
+- $\varrho$ heißt *reflexiv* $:\Leftrightarrow \forall x \in M \colon (x,x) \in \varrho$
+- $\varrho$ heißt *symmetrisch* $:\Leftrightarrow \forall x,y \in M \colon (x,y) \in \varrho \rightarrow (y,x) \in \varrho$
+- $\varrho$ heißt *transitiv* $:\Leftrightarrow \forall x,y,z \in M \colon (x,y) \in \varrho \wedge (y,z) \in \varrho \rightarrow (x,z) \in \varrho$
+
+:::
+
+#### Beispiele {/* #beispiele */}
+Gegeben sei die Menge $M = \{a,b,c\}$.
+- $\varrho = \{(a,a), (b,b), (c,c), (a,b), (a,c)\}$ ist reflexiv,
+    da die Paare $(a,a)$, $(b,b)$ und $(c,c)$ in $\varrho$ sind.\
+    $\varrho = \{(a,a), (c,c), (a,b)\}$ dagegen ist nicht reflexiv, da $(b,b)$ fehlt.
+
+- $\varrho = \{(a,a), (a,b), (b,a), (b,c), (c,b)\}$ ist symmetrisch,
+    da zu jedem Paar $(x,y)$ auch das Inverse Paar $(y,x)$ vorkommt.\
+    $\varrho = \{(a,a), (a,c), (b,a)\}$ dagegen ist nicht symmetrisch, da sowohl $(c,a)$ und $(a,b)$ fehlt.
+
+- $\varrho = \{(a,b), (b,c), (a,c)\}$ ist transitiv,
+    da $(a,c)$ vorhanden ist, nachdem schon $(a,b)$ und $(b,c)$ in $\varrho$ sind.\
+    $\varrho = \{(a,b), (b,a), (b,c)\}$ dagegen ist nicht transitiv, da sowohl $(a,a)$ fehlt.
+
+Eine Relation, die nun all diese drei Eigenschaften zugleich erfüllt nennt sich *Äquivalenzrelation*.
+
+:::note[Äquivalenzrelation]
+
+Sei $M$ eine Menge und $\varrho \subseteq M \times M$ eine Relation.
+$\varrho$ heißt *Äquivalenzrelation*, falls $\varrho$ reflexiv, symmetrisch und transitiv ist.
+
+:::
+
+#### Beispiele {/* #beispiele-1 */}
+Die wohl bekannteste Äquivalenzrelation auf jeder Menge $M$ ist die Gleichheit $=$ mit ihren üblichen Eigenschaften.
+Äquivalenz in der Logik ist ebenfalls eine Äquivalenzrelation.

docusaurus.config.js

@@ -5,7 +5,7 @@ import remarkMath from 'remark-math';
 import rehypeKatex from 'rehype-katex';
 
 const lightCodeTheme = require('prism-react-renderer').themes.github;
-const darkCodeTheme = require('prism-react-renderer').themes.dracula;
+const darkCodeTheme = require('prism-react-renderer').themes.catppuccin;
 
 /** @type {import('@docusaurus/types').Config} */
 export default {
@@ -13,10 +13,15 @@ export default {
     tagline: 'Mathematik und Informatik sind cool',
     url: 'https://www.niklas-birk.de',
     baseUrl: '/',
-    onBrokenLinks: 'throw',
+    onBrokenLinks: 'warn',
-    onBrokenMarkdownLinks: 'warn',
     favicon: 'img/niklas-birk-icon.ico',
 
+    markdown: {
+        hooks: {
+            onBrokenMarkdownLinks: 'warn',
+        }
+    },
+
     // GitHub pages deployment config.
     // If you aren't using GitHub pages, you don't need these.
     // organizationName: 'niklas', // Usually your GitHub org/user name.
@@ -87,7 +92,7 @@ export default {
                     //     position: 'left'
                     // },
                     {
-                        href: 'https://git.niklas-birk.de/niklas/niklas_birk_blog',
+                        href: 'https://git.niklas-birk.de/niklas/niklas_birk_math',
                         label: 'Zum Code',
                         position: 'right',
                     },
@@ -116,17 +121,17 @@ export default {
                     {
                         title: 'Socials',
                         items: [
-                            {
+                            // {
-                                label: 'Twitter',
+                            //     label: 'Twitter',
-                                href: 'https://twitter.com/SirNik_OdTW',
+                            //     href: 'https://twitter.com/theoremofnik',
-                            },
+                            // },
                             {
                                 label: 'Mastodon',
                                 href: 'https://mathstodon.xyz/web/@SirNik',
                             },
                             {
                                 label: 'Twitch',
-                                href: 'https://www.twitch.tv/sirnikodtw',
+                                href: 'https://www.twitch.tv/theoremofnik',
                             },
                         ],
                     },
@@ -156,18 +161,20 @@ export default {
                 copyright: `Copyright © ${new Date().getFullYear()} Niklas Birk. Built with Docusaurus.`,
             },
             prism: {
-                theme: lightCodeTheme,
+                theme: darkCodeTheme,
                 darkTheme: darkCodeTheme,
             },
         }),
 
     stylesheets: [
         {
-            href: 'https://cdn.jsdelivr.net/npm/katex@0.13.24/dist/katex.min.css',
+            href: '/katex/katex.min.css',
             type: 'text/css',
-            integrity:
-                'sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM',
-            crossorigin: 'anonymous',
         },
     ],
+
+    future: {
+            v4: true,
+        faster: true,
+    }
 };

package.json

@@ -1,6 +1,6 @@
 {
   "name": "niklas-birk-blog",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "private": true,
   "scripts": {
     "docusaurus": "docusaurus",
@@ -14,20 +14,21 @@
     "write-heading-ids": "docusaurus write-heading-ids"
   },
   "dependencies": {
-    "@docusaurus/core": "^3.0.0",
+    "@docusaurus/core": "^3.10.2",
-    "@docusaurus/preset-classic": "^3.0.0",
+    "@docusaurus/faster": "^3.10.2",
-    "@mdx-js/react": "^3.0.0",
+    "@docusaurus/preset-classic": "^3.10.2",
-    "clsx": "^1.2.1",
+    "@mdx-js/react": "^3.1.1",
+    "clsx": "^2.1.1",
     "hast-util-is-element": "^3.0.0",
-    "prism-react-renderer": "^2.1.0",
+    "prism-react-renderer": "^2.4.1",
-    "react": "^18.2.0",
+    "react": "^19.3.0",
-    "react-dom": "^18.2.0",
+    "react-dom": "^19.3.0",
-    "rehype-katex": "^7.0.0",
+    "rehype-katex": "^7.0.1",
     "remark-math": "^6.0.0"
   },
   "devDependencies": {
-    "@docusaurus/module-type-aliases": "^3.0.0",
+    "@docusaurus/module-type-aliases": "^3.10.2",
-    "@docusaurus/types": "3.0.0"
+    "@docusaurus/types": "^3.10.2"
   },
   "browserslist": {
     "production": [

src/css/custom.css

@@ -27,12 +27,21 @@
     /*--ifm-color-primary-lighter: #32d8b4;*/
     /*--ifm-color-primary-lightest: #4fddbf;*/
 
-    --ifm-color-primary: #bd93f9; /* dracula purple */
+    /*--ifm-color-primary: #bd93f9; !* dracula purple *!*/
-    --ifm-color-primary-dark: #ffb86c; /* dracula orange */
+    /*--ifm-color-primary-dark: #ffb86c; !* dracula orange *!*/
-    --ifm-color-primary-darker: #ff79c6; /* dracula pink */
+    /*--ifm-color-primary-darker: #ff79c6; !* dracula pink *!*/
-    --ifm-color-primary-darkest: #ff5555; /* dracula red */
+    /*--ifm-color-primary-darkest: #ff5555; !* dracula red *!*/
-    --ifm-color-primary-light: #50fa7b; /* dracula green */
+    /*--ifm-color-primary-light: #50fa7b; !* dracula green *!*/
-    --ifm-color-primary-lighter: #f1fa8c; /* dracula yellow */
+    /*--ifm-color-primary-lighter: #f1fa8c; !* dracula yellow *!*/
-    --ifm-color-primary-lightest: #8be9fd; /* dracula cyan */
+    /*--ifm-color-primary-lightest: #8be9fd; !* dracula cyan *!*/
+
+    --ifm-color-primary: #c6a0f6; /* catppuccin purple */
+    --ifm-color-primary-dark: #f5a97f; /* catppuccin orange */
+    --ifm-color-primary-darker: #f5bde6; /* catppuccin pink */
+    --ifm-color-primary-darkest: #ed8796; /* catppuccin red */
+    --ifm-color-primary-light: #a6da95; /* catppuccin green */
+    --ifm-color-primary-lighter: #eed49f; /* catppuccin yellow */
+    --ifm-color-primary-lightest: #8bd5ca; /* catppuccin cyan */
+
     --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.3);
 }

static/img/niklas-birk-logo.svg

@@ -1,92 +1,127 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg version="1.2" width="100mm" height="100mm" viewBox="0 0 10000 10000"
+<svg version="1.2" width="200mm" height="200mm" viewBox="0 0 20000 20000" preserveAspectRatio="xMidYMid" fill-rule="evenodd" stroke-width="28.222" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg" xmlns:ooo="http://xml.openoffice.org/svg/export" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:presentation="http://sun.com/xmlns/staroffice/presentation" xmlns:smil="http://www.w3.org/2001/SMIL20/" xmlns:anim="urn:oasis:names:tc:opendocument:xmlns:animation:1.0" xmlns:svg="urn:oasis:names:tc:opendocument:xmlns:svg-compatible:1.0" xml:space="preserve">
-     preserveAspectRatio="xMidYMid" fill-rule="evenodd" stroke-width="28.222" stroke-linejoin="round"
-     xmlns="http://www.w3.org/2000/svg"
-     xml:space="preserve">
  <defs class="ClipPathGroup">
-  <clipPath id="presentation_clip_path">
+  <clipPath id="presentation_clip_path" clipPathUnits="userSpaceOnUse">
-   <rect x="0" y="0" width="10000" height="10000"/>
+   <rect x="0" y="0" width="20000" height="20000"/>
   </clipPath>
-     <clipPath id="presentation_clip_path_shrink">
+  <clipPath id="presentation_clip_path_shrink" clipPathUnits="userSpaceOnUse">
-   <rect x="10" y="10" width="9980" height="9980"/>
+   <rect x="20" y="20" width="19960" height="19960"/>
   </clipPath>
  </defs>
-    <defs class="TextShapeIndex">
+ <defs>
-<!--  <g ooo:slide="id1" ooo:id-list="id3"/>-->
+  <font id="EmbeddedFont_1" horiz-adv-x="2048">
+   <font-face font-family="Liberation Serif embedded" units-per-em="2048" font-weight="normal" font-style="normal" ascent="1826" descent="450"/>
+   <missing-glyph horiz-adv-x="2048" d="M 0,0 L 2047,0 2047,2047 0,2047 0,0 Z"/>
+   <glyph unicode="ﬡ" horiz-adv-x="1086" d="M 1155,1007 C 1155,978 1146,952 1128,930 1103,955 1081,967 1061,967 1040,967 1013,953 981,924 886,841 809,731 748,592 L 1059,244 C 1101,198 1122,157 1122,121 1122,98 1118,76 1109,54 1100,32 1089,13 1075,-3 1061,-19 1050,-27 1042,-27 1037,-27 1033,-24 1032,-19 1017,27 976,82 911,147 L 391,727 C 342,694 307,660 286,626 265,591 254,552 254,508 254,478 261,447 275,414 289,381 311,343 342,300 372,258 394,221 409,188 423,155 430,123 430,92 430,56 423,25 410,0 L 96,0 96,63 203,63 C 233,63 248,79 248,111 248,128 242,147 230,170 217,193 204,219 189,248 174,277 160,310 148,346 135,382 129,422 129,465 129,511 144,559 174,608 203,657 244,700 295,737 L 348,772 209,928 C 168,977 147,1024 147,1071 147,1093 151,1115 160,1136 169,1157 179,1175 192,1190 205,1205 214,1212 221,1212 228,1212 233,1205 238,1192 248,1161 301,1091 397,981 L 666,684 C 739,791 831,885 942,967 903,967 871,977 848,997 825,1016 813,1043 813,1077 813,1106 822,1135 840,1163 858,1190 875,1204 891,1204 895,1204 897,1202 898,1199 899,1195 899,1187 899,1176 899,1160 902,1148 909,1141 916,1134 929,1131 948,1131 L 1040,1131 C 1076,1131 1104,1120 1125,1098 1145,1076 1155,1046 1155,1007 Z"/>
+   <glyph unicode="∞" horiz-adv-x="1324" d="M 1382,590 C 1382,480 1352,388 1293,314 1233,240 1158,203 1067,203 927,203 810,291 716,467 673,382 625,318 570,275 515,231 457,209 395,209 300,209 224,244 165,315 106,386 77,479 77,596 77,709 107,801 166,874 225,947 302,983 395,983 465,983 530,962 589,919 648,876 700,812 743,725 786,808 833,871 886,914 938,956 999,977 1069,977 1164,977 1240,941 1297,870 1354,798 1382,705 1382,590 Z M 1088,872 C 1035,872 986,849 942,802 897,755 854,685 811,590 851,496 893,425 938,378 982,331 1033,307 1090,307 1154,307 1206,334 1247,387 1287,440 1307,509 1307,592 1307,672 1287,739 1246,792 1205,845 1153,872 1088,872 Z M 645,596 C 607,689 566,760 522,808 477,855 425,879 365,879 303,879 252,852 213,799 173,745 153,677 153,594 153,510 173,442 212,391 251,339 303,313 369,313 423,313 472,337 517,384 562,431 604,501 645,596 Z"/>
+   <glyph unicode="∂" horiz-adv-x="874" d="M 928,938 C 928,825 916,705 892,579 868,453 832,344 785,253 737,161 680,91 613,44 546,-3 471,-27 388,-27 287,-27 208,4 152,67 96,129 68,217 68,332 68,435 91,537 138,638 185,739 245,814 318,865 391,915 473,940 564,940 626,940 681,924 729,891 776,858 811,813 834,758 L 838,758 842,874 C 842,1025 817,1141 768,1222 718,1303 646,1343 551,1343 480,1343 404,1315 323,1259 L 287,1292 392,1442 C 445,1465 497,1477 549,1477 671,1477 765,1431 830,1339 895,1246 928,1113 928,938 Z M 813,643 C 801,704 775,755 735,796 694,836 648,856 596,856 535,856 480,833 430,787 380,741 339,672 307,581 274,490 258,398 258,305 258,222 275,158 310,112 345,66 392,43 451,43 505,43 557,67 606,114 655,161 698,231 735,325 772,419 798,525 813,643 Z"/>
+   <glyph unicode="Σ" horiz-adv-x="1007" d="M 678,748 L 678,697 275,170 536,170 C 605,170 689,172 787,175 884,178 944,181 966,186 L 1023,374 1089,374 1070,0 80,0 80,74 518,646 88,1262 88,1341 1009,1341 1009,1020 943,1020 901,1237 C 826,1246 724,1251 595,1251 L 329,1251 678,748 Z"/>
+  </font>
  </defs>
-    <defs class="EmbeddedBulletChars">
+ <defs class="TextShapeIndex">
+  <g ooo:slide="id1" ooo:id-list="id3 id4 id5 id6 id7 id8 id9 id10 id11"/>
+ </defs>
+ <defs class="EmbeddedBulletChars">
   <g id="bullet-char-template-57356" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 580,1141 L 1163,571 580,0 -4,571 580,1141 Z"/>
   </g>
-        <g id="bullet-char-template-57354" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-57354" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 8,1128 L 1137,1128 1137,0 8,0 8,1128 Z"/>
   </g>
-        <g id="bullet-char-template-10146" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-10146" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 174,0 L 602,739 174,1481 1456,739 174,0 Z M 1358,739 L 309,1346 659,739 1358,739 Z"/>
   </g>
-        <g id="bullet-char-template-10132" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-10132" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 2015,739 L 1276,0 717,0 1260,543 174,543 174,936 1260,936 717,1481 1274,1481 2015,739 Z"/>
   </g>
-        <g id="bullet-char-template-10007" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-10007" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 0,-2 C -7,14 -16,27 -25,37 L 356,567 C 262,823 215,952 215,954 215,979 228,992 255,992 264,992 276,990 289,987 310,991 331,999 354,1012 L 381,999 492,748 772,1049 836,1024 860,1049 C 881,1039 901,1025 922,1006 886,937 835,863 770,784 769,783 710,716 594,584 L 774,223 C 774,196 753,168 711,139 L 727,119 C 717,90 699,76 672,76 641,76 570,178 457,381 L 164,-76 C 142,-110 111,-127 72,-127 30,-127 9,-110 8,-76 1,-67 -2,-52 -2,-32 -2,-23 -1,-13 0,-2 Z"/>
   </g>
-        <g id="bullet-char-template-10004" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-10004" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 285,-33 C 182,-33 111,30 74,156 52,228 41,333 41,471 41,549 55,616 82,672 116,743 169,778 240,778 293,778 328,747 346,684 L 369,508 C 377,444 397,411 428,410 L 1163,1116 C 1174,1127 1196,1133 1229,1133 1271,1133 1292,1118 1292,1087 L 1292,965 C 1292,929 1282,901 1262,881 L 442,47 C 390,-6 338,-33 285,-33 Z"/>
   </g>
-        <g id="bullet-char-template-9679" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-9679" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 813,0 C 632,0 489,54 383,161 276,268 223,411 223,592 223,773 276,916 383,1023 489,1130 632,1184 813,1184 992,1184 1136,1130 1245,1023 1353,916 1407,772 1407,592 1407,412 1353,268 1245,161 1136,54 992,0 813,0 Z"/>
   </g>
-        <g id="bullet-char-template-8226" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-8226" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 346,457 C 273,457 209,483 155,535 101,586 74,649 74,723 74,796 101,859 155,911 209,963 273,989 346,989 419,989 480,963 531,910 582,859 608,796 608,723 608,648 583,586 532,535 482,483 420,457 346,457 Z"/>
   </g>
-        <g id="bullet-char-template-8211" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-8211" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M -4,459 L 1135,459 1135,606 -4,606 -4,459 Z"/>
   </g>
-        <g id="bullet-char-template-61548" transform="scale(0.00048828125,-0.00048828125)">
+  <g id="bullet-char-template-61548" transform="scale(0.00048828125,-0.00048828125)">
    <path d="M 173,740 C 173,903 231,1043 346,1159 462,1274 601,1332 765,1332 928,1332 1067,1274 1183,1159 1299,1043 1357,903 1357,740 1357,577 1299,437 1183,322 1067,206 928,148 765,148 601,148 462,206 346,322 231,437 173,577 173,740 Z"/>
   </g>
  </defs>
-    <g>
+ <g>
   <g id="id2" class="Master_Slide">
    <g id="bg-id2" class="Background"/>
-      <g id="bo-id2" class="BackgroundObjects"/>
+   <g id="bo-id2" class="BackgroundObjects"/>
   </g>
  </g>
-    <g class="SlideGroup">
+ <g class="SlideGroup">
   <g>
    <g id="container-id1">
     <g id="id1" class="Slide" clip-path="url(#presentation_clip_path)">
      <g class="Page">
-      <g class="Graphic">
+      <g class="com.sun.star.drawing.CustomShape">
        <g id="id3">
-        <rect class="BoundingBox" stroke="none" fill="none" x="0" y="1" width="10001" height="10001"/>
+        <rect class="BoundingBox" stroke="none" fill="none" x="-1" y="-1" width="20004" height="20004"/>
-           <defs>
+        <path fill="rgb(40,42,54)" stroke="none" d="M 10000,0 L 10000,0 C 8245,0 6521,462 5000,1340 3480,2218 2218,3480 1340,5000 462,6521 0,8245 0,10001 L 0,10000 0,10001 C 0,11756 462,13480 1340,15001 2218,16521 3480,17783 5000,18661 6521,19539 8245,20001 10001,20001 L 10000,20001 10001,20001 C 11756,20001 13480,19539 15001,18661 16521,17783 17783,16521 18661,15001 19539,13480 20001,11756 20001,10001 L 20001,10000 20001,10001 20001,10000 C 20001,8245 19539,6521 18661,5000 17783,3480 16521,2218 15001,1340 13480,462 11756,0 10000,0 L 10000,0 Z"/>
-         <clipPath id="clip_path_1">
+        <path fill="none" stroke="rgb(40,42,54)" d="M 10000,0 L 10000,0 C 8245,0 6521,462 5000,1340 3480,2218 2218,3480 1340,5000 462,6521 0,8245 0,10001 L 0,10000 0,10001 C 0,11756 462,13480 1340,15001 2218,16521 3480,17783 5000,18661 6521,19539 8245,20001 10001,20001 L 10000,20001 10001,20001 C 11756,20001 13480,19539 15001,18661 16521,17783 17783,16521 18661,15001 19539,13480 20001,11756 20001,10001 L 20001,10000 20001,10001 20001,10000 C 20001,8245 19539,6521 18661,5000 17783,3480 16521,2218 15001,1340 13480,462 11756,0 10000,0 L 10000,0 Z"/>
-          <path d="M 0,1 L 10000,1 10000,10001 0,10001 0,1 Z"/>
+       </g>
-         </clipPath>
+      </g>
-        </defs>
+      <g class="com.sun.star.drawing.CustomShape">
-           <g clip-path="url(#clip_path_1)"/>
+       <g id="id4">
-           <defs>
+        <rect class="BoundingBox" stroke="none" fill="none" x="6389" y="2389" width="7223" height="7223"/>
-         <clipPath id="clip_path_2">
+        <path fill="rgb(189,147,249)" stroke="none" d="M 6665,5334 L 6666,5333 C 6549,5450 6465,5596 6422,5756 6379,5916 6379,6084 6422,6244 6465,6404 6549,6550 6666,6667 L 9333,9334 9333,9334 C 9450,9451 9596,9535 9756,9578 9916,9621 10084,9621 10244,9578 10404,9535 10550,9451 10667,9334 L 13334,6667 13334,6667 C 13451,6550 13535,6404 13578,6244 13621,6084 13621,5916 13578,5756 13535,5596 13451,5450 13334,5333 L 10666,2665 10667,2666 10667,2666 C 10550,2549 10404,2465 10244,2422 10084,2379 9916,2379 9756,2422 9596,2465 9450,2549 9333,2666 L 6665,5334 Z"/>
-          <path d="M 0,1 L 10000,1 10000,10001 0,10001 0,1 Z"/>
+        <path fill="none" stroke="rgb(189,147,249)" d="M 6665,5334 L 6666,5333 C 6549,5450 6465,5596 6422,5756 6379,5916 6379,6084 6422,6244 6465,6404 6549,6550 6666,6667 L 9333,9334 9333,9334 C 9450,9451 9596,9535 9756,9578 9916,9621 10084,9621 10244,9578 10404,9535 10550,9451 10667,9334 L 13334,6667 13334,6667 C 13451,6550 13535,6404 13578,6244 13621,6084 13621,5916 13578,5756 13535,5596 13451,5450 13334,5333 L 10666,2665 10667,2666 10667,2666 C 10550,2549 10404,2465 10244,2422 10084,2379 9916,2379 9756,2422 9596,2465 9450,2549 9333,2666 L 6665,5334 Z"/>
-         </clipPath>
+       </g>
-        </defs>
+      </g>
-           <g clip-path="url(#clip_path_2)">
+      <g class="com.sun.star.drawing.CustomShape">
-         <path fill="rgb(76,103,13)" stroke="none"
+       <g id="id5">
-               d="M 5008,14323 L -4206,14323 -4206,-4302 14222,-4302 14222,14323 5008,14323 Z"/>
+        <rect class="BoundingBox" stroke="none" fill="none" x="6389" y="10389" width="7223" height="7223"/>
-               <path fill="rgb(255,255,2)" stroke="none"
+        <path fill="rgb(255,121,198)" stroke="none" d="M 6665,13334 L 6666,13333 C 6549,13450 6465,13596 6422,13756 6379,13916 6379,14084 6422,14244 6465,14404 6549,14550 6666,14667 L 9333,17334 9333,17334 C 9450,17451 9596,17535 9756,17578 9916,17621 10084,17621 10244,17578 10404,17535 10550,17451 10667,17334 L 13334,14667 13334,14667 C 13451,14550 13535,14404 13578,14244 13621,14084 13621,13916 13578,13756 13535,13596 13451,13450 13334,13333 L 10666,10665 10667,10666 10667,10666 C 10550,10549 10404,10465 10244,10422 10084,10379 9916,10379 9756,10422 9596,10465 9450,10549 9333,10666 L 6665,13334 Z"/>
-                     d="M 8556,4978 C 8556,5618 8387,6246 8067,6801 7747,7355 7287,7815 6733,8135 6178,8455 5549,8624 4909,8624 4269,8624 3641,8455 3086,8135 2532,7815 2072,7355 1752,6801 1432,6246 1263,5618 1263,4978 1263,4337 1432,3709 1752,3154 2072,2600 2532,2140 3086,1820 3641,1500 4269,1331 4909,1331 5549,1331 6178,1500 6733,1820 7287,2140 7747,2600 8067,3154 8387,3709 8556,4337 8556,4978 L 8556,4978 Z"/>
+        <path fill="none" stroke="rgb(255,121,198)" d="M 6665,13334 L 6666,13333 C 6549,13450 6465,13596 6422,13756 6379,13916 6379,14084 6422,14244 6465,14404 6549,14550 6666,14667 L 9333,17334 9333,17334 C 9450,17451 9596,17535 9756,17578 9916,17621 10084,17621 10244,17578 10404,17535 10550,17451 10667,17334 L 13334,14667 13334,14667 C 13451,14550 13535,14404 13578,14244 13621,14084 13621,13916 13578,13756 13535,13596 13451,13450 13334,13333 L 10666,10665 10667,10666 10667,10666 C 10550,10549 10404,10465 10244,10422 10084,10379 9916,10379 9756,10422 9596,10465 9450,10549 9333,10666 L 6665,13334 Z"/>
-               <path fill="rgb(26,23,27)" stroke="none"
+       </g>
-                     d="M 6305,5010 C 6305,5483 6241,5948 6118,6357 5996,6767 5820,7107 5607,7344 5395,7580 5154,7705 4909,7705 4664,7705 4424,7580 4211,7344 3999,7107 3823,6767 3700,6357 3578,5948 3513,5483 3513,5010 3513,4537 3578,4073 3700,3663 3823,3254 3999,2914 4211,2677 4424,2441 4664,2316 4909,2316 5154,2316 5395,2441 5607,2677 5820,2914 5996,3254 6118,3663 6241,4073 6305,4537 6305,5010 L 6305,5010 Z"/>
+      </g>
-               <path fill="rgb(152,19,5)" stroke="none"
+      <g class="com.sun.star.drawing.CustomShape">
-                     d="M 5287,5010 C 5287,5152 5270,5290 5237,5413 5203,5535 5156,5637 5098,5707 5041,5778 4976,5815 4909,5815 4843,5815 4778,5778 4720,5707 4663,5637 4615,5535 4582,5413 4549,5290 4532,5152 4532,5010 4532,4869 4549,4730 4582,4608 4615,4486 4663,4384 4720,4313 4778,4243 4843,4206 4909,4206 4976,4206 5041,4243 5098,4313 5156,4384 5203,4486 5237,4608 5270,4730 5287,4869 5287,5010 L 5287,5010 Z"/>
+       <g id="id6">
-               <path fill="rgb(76,103,13)" stroke="none"
+        <rect class="BoundingBox" stroke="none" fill="none" x="10389" y="6389" width="7223" height="7223"/>
-                     d="M 3846,1085 L 5972,1085 5972,1085 C 6429,1085 6877,1205 7272,1433 7667,1661 7996,1990 8224,2385 8452,2780 8572,3228 8572,3685 L 8572,3685 8572,3779 1247,3779 1247,3685 1247,3685 C 1247,3228 1367,2780 1595,2385 1823,1990 2151,1661 2546,1433 2942,1205 3390,1085 3846,1085 L 3846,1085 Z"/>
+        <path fill="rgb(255,184,108)" stroke="none" d="M 10665,9334 L 10666,9333 C 10549,9450 10465,9596 10422,9756 10379,9916 10379,10084 10422,10244 10465,10404 10549,10550 10666,10667 L 13333,13334 13333,13334 C 13450,13451 13596,13535 13756,13578 13916,13621 14084,13621 14244,13578 14404,13535 14550,13451 14667,13334 L 17334,10667 17334,10667 C 17451,10550 17535,10404 17578,10244 17621,10084 17621,9916 17578,9756 17535,9596 17451,9450 17334,9333 L 14666,6665 14667,6666 14667,6666 C 14550,6549 14404,6465 14244,6422 14084,6379 13916,6379 13756,6422 13596,6465 13450,6549 13333,6666 L 10665,9334 Z"/>
-               <path fill="rgb(111,103,28)" stroke="none"
+        <path fill="none" stroke="rgb(255,184,108)" d="M 10665,9334 L 10666,9333 C 10549,9450 10465,9596 10422,9756 10379,9916 10379,10084 10422,10244 10465,10404 10549,10550 10666,10667 L 13333,13334 13333,13334 C 13450,13451 13596,13535 13756,13578 13916,13621 14084,13621 14244,13578 14404,13535 14550,13451 14667,13334 L 17334,10667 17334,10667 C 17451,10550 17535,10404 17578,10244 17621,10084 17621,9916 17578,9756 17535,9596 17451,9450 17334,9333 L 14666,6665 14667,6666 14667,6666 C 14550,6549 14404,6465 14244,6422 14084,6379 13916,6379 13756,6422 13596,6465 13450,6549 13333,6666 L 10665,9334 Z"/>
-                     d="M 8621,3828 L 1197,3828 1197,3738 C 1197,2248 2410,1036 3900,1036 L 5919,1036 C 7409,1036 8621,2248 8621,3738 L 8621,3828 Z M 1296,3729 L 8523,3729 C 8518,2298 7352,1134 5919,1134 L 3900,1134 C 2467,1134 1301,2298 1296,3729 L 1296,3729 Z"/>
+       </g>
-        </g>
+      </g>
-           <g clip-path="url(#clip_path_1)"/>
+      <g class="com.sun.star.drawing.CustomShape">
+       <g id="id7">
+        <rect class="BoundingBox" stroke="none" fill="none" x="2389" y="6389" width="7223" height="7223"/>
+        <path fill="rgb(255,85,85)" stroke="none" d="M 2665,9334 L 2666,9333 C 2549,9450 2465,9596 2422,9756 2379,9916 2379,10084 2422,10244 2465,10404 2549,10550 2666,10667 L 5333,13334 5333,13334 C 5450,13451 5596,13535 5756,13578 5916,13621 6084,13621 6244,13578 6404,13535 6550,13451 6667,13334 L 9334,10667 9334,10667 C 9451,10550 9535,10404 9578,10244 9621,10084 9621,9916 9578,9756 9535,9596 9451,9450 9334,9333 L 6666,6665 6667,6666 6667,6666 C 6550,6549 6404,6465 6244,6422 6084,6379 5916,6379 5756,6422 5596,6465 5450,6549 5333,6666 L 2665,9334 Z"/>
+        <path fill="none" stroke="rgb(255,85,85)" d="M 2665,9334 L 2666,9333 C 2549,9450 2465,9596 2422,9756 2379,9916 2379,10084 2422,10244 2465,10404 2549,10550 2666,10667 L 5333,13334 5333,13334 C 5450,13451 5596,13535 5756,13578 5916,13621 6084,13621 6244,13578 6404,13535 6550,13451 6667,13334 L 9334,10667 9334,10667 C 9451,10550 9535,10404 9578,10244 9621,10084 9621,9916 9578,9756 9535,9596 9451,9450 9334,9333 L 6666,6665 6667,6666 6667,6666 C 6550,6549 6404,6465 6244,6422 6084,6379 5916,6379 5756,6422 5596,6465 5450,6549 5333,6666 L 2665,9334 Z"/>
+       </g>
+      </g>
+      <g class="TextShape">
+       <g id="id8">
+        <rect class="BoundingBox" stroke="none" fill="none" x="10500" y="6500" width="7001" height="7001"/>
+        <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="12413" y="11841"><tspan font-family="Liberation Serif, serif" font-size="5457px" font-weight="400" fill="rgb(78,40,0)" stroke="none" style="white-space: pre">Σ</tspan></tspan></tspan></text>
+       </g>
+      </g>
+      <g class="TextShape">
+       <g id="id9">
+        <rect class="BoundingBox" stroke="none" fill="none" x="2500" y="6500" width="7001" height="7001"/>
+        <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="4654" y="11841"><tspan font-family="Liberation Serif, serif" font-size="5457px" font-weight="400" fill="rgb(79,0,0)" stroke="none" style="white-space: pre">∂</tspan></tspan></tspan></text>
+       </g>
+      </g>
+      <g class="TextShape">
+       <g id="id10">
+        <rect class="BoundingBox" stroke="none" fill="none" x="6500" y="2300" width="7001" height="6901"/>
+        <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="8057" y="7591"><tspan font-family="Liberation Serif, serif" font-size="5457px" font-weight="400" fill="rgb(32,3,74)" stroke="none" style="white-space: pre">∞</tspan></tspan></tspan></text>
+       </g>
+      </g>
+      <g class="TextShape">
+       <g id="id11">
+        <rect class="BoundingBox" stroke="none" fill="none" x="6600" y="10300" width="7001" height="7001"/>
+        <text class="SVGTextShape"><tspan class="TextParagraph"><tspan class="TextPosition" x="8644" y="15440"><tspan font-family="Liberation Serif, serif" font-size="4861px" font-weight="400" fill="rgb(79,0,0)" stroke="none" style="white-space: pre">ﬡ</tspan></tspan></tspan></text>
        </g>
       </g>
      </g>

static/katex/katex.min.css

@@ -0,0 +1 @@
+@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(fonts/KaTeX_AMS-Regular.woff2) format("woff2"),url(fonts/KaTeX_AMS-Regular.woff) format("woff"),url(fonts/KaTeX_AMS-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"),url(fonts/KaTeX_Caligraphic-Bold.woff) format("woff"),url(fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"),url(fonts/KaTeX_Caligraphic-Regular.woff) format("woff"),url(fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"),url(fonts/KaTeX_Fraktur-Bold.woff) format("woff"),url(fonts/KaTeX_Fraktur-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"),url(fonts/KaTeX_Fraktur-Regular.woff) format("woff"),url(fonts/KaTeX_Fraktur-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Main-Bold.woff2) format("woff2"),url(fonts/KaTeX_Main-Bold.woff) format("woff"),url(fonts/KaTeX_Main-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"),url(fonts/KaTeX_Main-BoldItalic.woff) format("woff"),url(fonts/KaTeX_Main-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Main-Italic.woff2) format("woff2"),url(fonts/KaTeX_Main-Italic.woff) format("woff"),url(fonts/KaTeX_Main-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Main-Regular.woff2) format("woff2"),url(fonts/KaTeX_Main-Regular.woff) format("woff"),url(fonts/KaTeX_Main-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"),url(fonts/KaTeX_Math-BoldItalic.woff) format("woff"),url(fonts/KaTeX_Math-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Math-Italic.woff2) format("woff2"),url(fonts/KaTeX_Math-Italic.woff) format("woff"),url(fonts/KaTeX_Math-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Bold.woff) format("woff"),url(fonts/KaTeX_SansSerif-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Italic.woff) format("woff"),url(fonts/KaTeX_SansSerif-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Regular.woff) format("woff"),url(fonts/KaTeX_SansSerif-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Script-Regular.woff2) format("woff2"),url(fonts/KaTeX_Script-Regular.woff) format("woff"),url(fonts/KaTeX_Script-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size1-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size1-Regular.woff) format("woff"),url(fonts/KaTeX_Size1-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size2-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size2-Regular.woff) format("woff"),url(fonts/KaTeX_Size2-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size3-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size3-Regular.woff) format("woff"),url(fonts/KaTeX_Size3-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size4-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size4-Regular.woff) format("woff"),url(fonts/KaTeX_Size4-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"),url(fonts/KaTeX_Typewriter-ReguLine truncated