Template:Transitive sdr

Composition
This subgroup description rule is transitive