theorem :: TAXONOM1:13

for A being non empty set holds {(SmallestPartition A)} is Classification of A