Instance AXIOM-OF-CHOICE


Slots on this instance:

Documentation:
There is a set that associates every bounded set with a distinguished element of that set. In effect, it {it chooses} an element from every bounded set.

Notes: