Log-size subgroup description rule

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.

Stronger properties

 * Log-trimmable subgroup description rule