Template:Sdr property

This article defines a property that can be evaluated for a subgroup description rule, viz a rule for describing a subgroup of a group given an encoding