Qu'est-ce qu'un ensemble injoignable ?

Un ensemble est dit injoignable s’il ne peut pas être divisé en deux ensembles de telle sorte que chaque élément d’un ensemble ait un élément correspondant dans l’autre ensemble. En d'autres termes, il n'existe pas de partition de l'ensemble en deux sous-ensembles de telle sorte que chaque élément d'un sous-ensemble ait un élément correspondant dans l'autre sous-ensemble.

Par exemple, l'ensemble de tous les entiers n'est pas joignable car il n'y a aucun moyen de le partitionner. en deux sous-ensembles où chaque entier d’un sous-ensemble a un entier correspondant dans l’autre sous-ensemble. En effet, les nombres entiers ne sont en aucun cas appariés les uns aux autres, il n'y a donc aucun moyen d'établir une correspondance entre eux.