Kommutativer Halbring/Teilbarkeitseigenschaften/Formalisiere/Aufgabe

Formalisiere in der (erststufigen) Sprache der kommutativen Halbringe

die Konzepte Einheit, Teilt, irreduzibel, Primelement.