nʊmˈes əstɐβlˈɛjɕ kˈɛ əɡzistˈɛjɕ ɐlɣˈunɐ fʊnsjˈo ˈɛfɐ kˈɛ pˈot əskʊʎˈi ʊn ələmˈen də kˈaðɐ kʊnʑˈun də lɐ kʊlləksjˈo.
Només estableix que existeix alguna funció f que pot escollir un element de cada conjunt de la col·lecció.