theorem Th5: :: TSEP_2:5

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