theorem :: TAXONOM1:12

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