I mean that you can write a function (with a precise definition!) which, applied...

twic on July 17, 2021 | parent | context | favorite | on: What is the Axiom of Choice?

I mean that you can write a function (with a precise definition!) which, applied a set, evaluates to an element of that set. This function must work for any set, without any further information.