Kommutativer Halbring/Teilbarkeitseigenschaften/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere in der (erststufigen) Sprache der kommutativen Halbringe

die Konzepte Einheit, Teilt, irreduzibel, Primelement.
Eine Lösung erstellen