 Restricted axiom of choice

ID: restricted-axiom-of-choice

X

and

Y

AC_{X} (Y)

says that every

X

(A_{x})_{x \in X}

of nonempty subsets of

Y

c : X \to Y

satisfying

c (x) \in A_{x}

 New to topics? Read the docs here!