Trait nekolib::traits::binop::Semigroup

source · 
pub trait Semigroup: Associative + Magma { }
Expand description

半群。

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

Implementors§