pub trait Semigroup: Associative + Magma { }
Expand description

半群。

マグマ $(M, \circ)$ であり、結合法則を満たす。

Implementors§