. "A subgroup-defining function on all groups whose order is a power of , for a fixed prime , that returns nontrivial subgroups for nontrivial groups, is termed a characteristic p-functor." . . .