Start=Ringstruktur

MDLUL/Ringstruktur

Ziel=Algebra/Ring/Definition