ðɪ ˈæksɪəm ʌv ɡlˈoʊbəl tʃˈɔɪs stˈeɪts ðæt ðɛɹ ɪz ɐ ɡlˈoʊbəl tʃˈɔɪs fˈʌŋkʃən tˈaʊ, mˈiːnɪŋ ɐ fˈʌŋkʃən sˈʌtʃ ðæt fɔːɹ ˈɛvɹi nˈɑːnˈɛmpti sˈɛt zˈiː, tˈaʊ zˈiː ɪz ɐn ˈɛlɪmənt ʌv zˈiː.
The axiom of global choice states that there is a global choice function τ, meaning a function such that for every non-empty set z, τ(z) is an element of z.