classification theorem

Describes the objects of a given type, up to some equivalence