Kommutativer Halbring/Teilbarkeitseigenschaften/Formalisiere/Aufgabe

Formalisiere in der (erststufigen) Sprache der kommutativen Halbringe die Konzepte Einheit, Teilt, irreduzibel, Primelement.