sim pˈeɾðiða ðe xˌeneɾˌaliðˈad se pwˈeðe ˌasumˈiɾ ke ðˈitʃo koŋxˈunto nˈo ˈes βaθˈio i ke sus ˌelemˈɛntos estˈan nˌumeɾˈaðos kˈomo .
Sin pérdida de generalidad se puede asumir que dicho conjunto no es vacío y que sus elementos están numerados como .