axiom of choice

noun

, Mathematics.

1. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets.