BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
- satisfies property in
- has the same order as
In most practical situations, we assume that is a stronger property than .
Replacement theorems are theorems that prove replacement properties. The key goal of a replacement theorem is to provide a guarantee that we can pass from a subgroup satisfying a weaker set of constraints, to a subgroup satisfying a stronger set of constraints.