Kommutatives Monoid/Filter/Definition

Filter

Ein Filter in einem kommutativen Monoid ist ein Untermonoid, das zusätzlich teilerstabil ist. D.h. falls ist und gilt, so ist auch .