Function restriction formalism chart
| Subgroup property | Expression | Endo-invariance | Balanced | Invariance | Left-inner | Quotient-hereditary invariance |
|---|---|---|---|---|---|---|
| Normal subgroup | Inner Aut, Inner Function | Yes | No | Yes | Yes | Yes |
| Characteristic subgroup | Aut Aut, Aut Function | Yes | Yes | Yes | No | No |
| Strictly characteristic subgroup | Surj. End Function, Surj. End. End. | Yes | No | Yes | No | Yes |