Kommutative Ringtheorie/Ganzheit/Normal (ganz-abgeschlossen)/Definition