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:

M $=\{\{0,1,2,...,22\},\{-5,-4,...,-2\},\{-15,-14,...,-6\}\}$

Say what holds for M:

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:

M $=\{\{0,1,2,...,22\},\{-5,-4,...,-2\},\{-15,-14,...,-6\}\}$

Say what holds for M:

It is a partition.

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.