ˈes ðeθˈiɾ, dˈaðo ˈun koŋxˈunto se pˈiðe ˌenkontɾˈaɾ tˈal ke pˌaɾa tˈoðo ˌelemˈɛnto ke pˌeɾtenˈeθe al koŋxˈunto .
Es decir, dado un conjunto  se pide encontrar  tal que  para todo elemento  que pertenece al conjunto .