Definition - genau dann wenn

häufig sind Texte etwas sloppy, wenn sie z.B. schreiben
"Def: Ein Menge \(M\) ist endlich, wenn eine Bijektion \(f: \{1,...,n\} \rightarrow M\) existiert"

Streng genommen ist gemeint
"Def: Ein Menge \(M\) ist endlich, genau dannn wenn eine Bijektion \(f: \{1,...,n\} \rightarrow M\) existiert"

aber man spart das genau dann (mache (glaube) ich zum Beispiel)