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 are some sets), such that if and only if for all i. In words, such that two objects are equivalent if and only if all invariants are equal.