Template:Extensibility-stable

Extensibility-stability
This function property is extensibility-stable, that is, given any embedding of groups, a function with the property in the smaller group can be lifted to a function with the property in the bigger group