Trait nekolib::traits::binop::Semigroup

pub trait Semigroup: Associative + Magma { }

Expand description

半群。

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

Implementors§