It states that given a collection of nonempty sets there is a single set C that contains exactly one element from each set in the collection.
Διατυπώνει ότι δεδομένης μιας συλλογής από μη κενά σύνολα, υπάρχει ένα μοναδικό σύνολο C που περιέχει ακριβώς ένα στοιχείο από κάθε σύνολο στη συλλογή.