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