 Symbolically, a complete set of invariants is a collection of maps such that
is injective.As invariants are, by definition, equal on equivalent objects, equality of invariants is a "necessary" condition for equivalence; a "complete" set of invariants is a set such that equality of these is "sufficient" for equivalence.In the context of a group action, this may be stated as