👉 A group composed of two or more distinct elements, often denoted by symbols like \( \langle X, \sim \rangle \) or \( C(n, k) \), where \( n \) is a positive integer and \( k > 1 \). In this context, a subgroup is a subset of the group that is closed under certain operations.