MA, von ZFC unabhängiges Axiom der axiomatischen Mengenlehre, das besagt, daß es für jede Kardinalzahl κ < 2^w, jede nichtleere Partialordnung P, für welche die abzählbare Kettenbedingung gilt, und jede Menge \({\mathscr{D}}\) von dichten Teilmengen von P mit \(\#{\mathscr{D}}\le \kappa \) einen Filter F ⊆ P auf P gibt, der mit jeder Menge aus \({\mathscr{D}}\) einen nichtleeren Schnitt hat, d. h., so daß gilt, D ∩ F ≠ ∅ für alle \(D\in {\mathscr{D}}\).

Siehe auch Kardinalzahlen und Ordinalzahlen, Ordnungsrelation.