Какво е необединим набор?

Казва се, че едно множество е необединимо, ако не може да бъде разделено на две множества, така че всеки елемент в едното множество да има съответстващ елемент в другото множество. С други думи, не съществува разделяне на множеството на две подмножества, така че всеки елемент в едно подмножество да има съвпадащ елемент в другото подмножество.

Например, множеството от всички цели числа е необединимо, защото няма начин да бъде разделено в две подмножества, където всяко цяло число в едно подмножество има съответстващо цяло число в другото подмножество. Това е така, защото целите числа не са сдвоени едно с друго по никакъв начин, така че няма начин да се установи съответствие между тях.