Complete set of invariants

Symbolically, a complete set of invariants is a collection of maps such that

A complete set of invariants does not immediately yield a classification theorem: not all combinations of invariants may be realized. Symbolically, one must also determine the image of