 Complete set of invariants

In mathematics, a complete set of invariants for a classification problem is a collection of maps
(where "X" is the collection of objects being classified, up to some equivalence relation, and the formula_2 are some sets), such that formula_3 if and only if formula_4 for all "i".In words, such that two objects are equivalent if and only if all invariants are equal.