retraction/expansion terminology

I know this is well-defined on temperaments, but for subgroups, I would prefer the more well-known terms restriction/extension.

Sintel🎏 (talk) 23:18, 22 April 2025 (UTC)

It seems necessary to consider the relationship with Group extension. (Can group extension be used in relation to 2.3.5 and 2.9.5?) ... Oh dear, there's also Retract (group theory).
Retraction seems like it could be directly used in the definition of saturation. --Dummy index (talk) 12:01, 23 April 2025 (UTC)
Return to "2.3.7 subgroup" page.