Koska jokaiseen ihmiseen voimme liittää jonkin yksikäsitteisen etunimen, niin voimme muodostaa funktion  nelihenkisen perheen ja kaikkien etunimien joukon välille.
kˈoska jokˈaiseːn ɪhmˈiseːn vˈoimme lˈiːtːæː jˈoŋkɪn ˌyksɪkæsɪtːˈeisen ˌetunˈimen, nˈiːn vˈoimme muodˈostaː fuŋktˈion nˌelɪheŋkˈisem pˈerheːn ja kˈaikːien ˌetunˈimien jˈoukon vælˈille.