Category:Terminology related to realization problems for subgroup-defining functions