To derive the results in a most-invariant way, renormalization group methods are used (leading to equivalence classes corresponding to certain fixed points). The SPT order has the following defining properties: