MDLUL/irreduzibler Filter

Start=irreduzibler Filter

MDLUL/irreduzibler Filter

Ziel=Topologische Filter/Irreduzibler Filter/Definition