O que é um conjunto que não pode ser unido?

Um conjunto é dito não juntável se não puder ser particionado em dois conjuntos de modo que cada elemento de um conjunto tenha um elemento correspondente no outro conjunto. Em outras palavras, não existe uma partição do conjunto em dois subconjuntos de modo que cada elemento em um subconjunto tenha um elemento correspondente no outro subconjunto.

Por exemplo, o conjunto de todos os inteiros não pode ser unido porque não há como particioná-lo em dois subconjuntos onde cada número inteiro em um subconjunto possui um número inteiro correspondente no outro subconjunto. Isso ocorre porque os inteiros não estão emparelhados de forma alguma, portanto não há como estabelecer uma correspondência entre eles.