Template:Sdf property

This article defines a property of subgroup-defining functions, viz., a property that any subgroup-defining function may either satisfy or not satisfy