Kommutative Ringtheorie/Integritätsbereich/Definition