for X being non empty 1-sorted
for A being Subset of X holds A,A do_not_constitute_a_decomposition