Consider the following computation problem in one variable

Sphinx:

Input $-15<=$ x $<=22,$ x in Z

Output $...$

and the following decomposition of the input domain:

K $=\{[-15,10),[10,12],[13,22]\}$

Say what holds for K:

Consider the following computation problem in one variable

Sphinx:

Input $-15<=$ x $<=22,$ x in Z

Output $...$

and the following decomposition of the input domain:

K $=\{[-15,10),[10,12],[13,22]\}$

Say what holds for K:

There are overlapping classes, i$.$e$.,$ the classes fail to be pairwise disjunct.

There is an element of the input domain that is not part of a class, i$.$e$.,$ it does not cover.

It is a partition.