# Log-size subgroup description rule

From Groupprops

*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*

BEWARE!This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

## Definition

A subgroup description rule is said to be **log-size** if given a log-size encoding of a group, *every* subgroup of the group possesses a description using the given rule, that is polynomial in the log-size.