Por ejemplo, la afirmación de que todo conjunto de números reales tiene la propiedad de Baire es más fuerte que ¬AE, que niega la existencia de una función de elección en tal vez una sola colección de conjuntos no vacíos.