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

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.