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