for X being non empty set
for C being set st C is Strong_Classification of X holds
InclPoset (union C) is Tree