Loading…
Thumbnail Image

Suite I - Die StrukturGebende, Teil 4

Unterreiter, Andreas

Preprint-Reihe des Instituts für Mathematik, Technische Universität Berlin

Bijektion. BijektionsLemma. FunktionsAxiom. SingeltonKlasse. SingeltonUniversum. SingeltonFunktion. BinaereVereinigungInduktive Klasse. Endlich. EndlichkeitsAxiom. Universum der (nichtleeren) endlichen Klassen. EndlicheKlassenInduktion. EndlicheKlassenUngleichLeereMengeInduktion. Unendlich. RelationsNotation. Vermehrend. Verringernd. Reflexiv. Irreflexiv. Transitiv. AntiSymmetrisch. Symmetrisch. Konnex. Kette. Liste der KlassenVariablen, Teil 2. HalbOrdnungsNotation. (AntiSymmetrische) Halbordnung. Endliche TeilKlasse. EndlicheTeilKlasseInduktion. EndlicheTeilKlasseUngleichLeereMengeInduktion.