Es sei K ein Körper und Kℕ der zugehörige Folgenring. Es sei k∈ℕ fixiert.
ein Ideal in Kℕ ist.
bijektiv ist.