Function restriction formalism chart
| Subgroup property | Function restriction 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 |
| Fully characteristic subgroup | End. End. | Yes | Yes | Yes | No | Yes |
| I-characteristic subgroup | Inj. End. End., Inj. end. Inj. End. | Yes | Yes | Yes | No | No |
| Central factor | Inner Inner | No | Yes | No | Yes | No |
| Transitively normal subgroup | Quotientable Quotientable, Inner Quotientable | No | Yes | No | Yes | No |
| Conjugacy-closed normal subgroup | Class Class, Inner Class | No | Yes | No | Yes | ? |
| Retraction-invariant subgroup | Retraction Retraction, Retraction Function | Yes | Yes | Yes | No | Yes |