> dass das kleinste Element der Menge B der Summe aller Elemente der Menge entspricht oder?
Wo hast du "Summe aller Elemente" her?
> Dabei muss für alle b ∈ B gelten, das b ≥ |B|
Das heißt, alle Elemente von B sind mindestens so groß wie die Anzahl der Elemente von B.
Bespiel. M1 := {2,5,7} erfüllt diese Bedingung nicht, weil 2 ∈ M1 aber 2 < 3 = |M1| ist. M2 := {3,5,7} erfüllt diese Bedingung.