semigroup

GroupLaws

semilattice

GroupLaws

semiring

RingLaws

serializable

Rules

signed

BaseLaws