Kommutatives Monoid/Filter/Definition

Filter

Ein Filter $F$ in einem kommutativen Monoid $M$ ist ein Untermonoid, das zusätzlich teilerstabil ist. D.h. falls $f\in F$ ist und $g|f$ gilt, so ist auch $g\in F$.