Subgroup

structure Subgroup[G: Group] {
    contains: G -> Bool
} constraint {
    subgroup_constraint(contains)
}

A subgroup of a group G, represented as a subset that is closed under the group operations.

GitHub

---

contains

Subgroup.contains: (Subgroup[G], G) -> Bool

True if the given element is a member of this subgroup.