在数学和计算机科学中，指一个由多个子群组成的结构，这些子群之间有明确的层级或分支关系。常见于群论、数据结构等领域。