This gives us a definite choice of an element from each set, and makes it unnecessary to apply the axiom of choice.
Αυτό μας δίνει μια σαφή επιλογή ενός στοιχείου από κάθε σύνολο, και καθιστά περιττή την εφαρμογή του αξιώματος της επιλογής.