Es sei K {\displaystyle {}K} ein Körper und K N {\displaystyle {}K^{\mathbb {N} }} der zugehörige Folgenring. Es sei k ∈ N {\displaystyle {}k\in \mathbb {N} } fixiert.
ein Ideal in K N {\displaystyle {}K^{\mathbb {N} }} ist.
bijektiv ist.