For example, if we abbreviate by BP the claim that every set of real numbers has the property of Baire, then BP is stronger than ¬AC, which asserts the nonexistence of any choice function on perhaps only a single set of nonempty sets.
Για παράδειγμα, αν θα συντομεύσει από την BP τον ισχυρισμό ότι κάθε σύνολο των πραγματικών αριθμών έχει την ιδιότητα του Baire, τότε η BP είναι ισχυρότερη από ό, τι ¬ AC, η οποία υποστηρίζει την ανυπαρξία οποιασδήποτε λειτουργίας επιλογής ίσως μόνο ένα ενιαίο σύνολο μή κενών συνόλων.