propositionen en mängd arteraf