Trait alga::general::AbstractLoop [−] [src]

pub trait AbstractLoop<O: Operator>: AbstractQuasigroup<O> + Identity<O> { }

A quasigroup with an unique identity element.

The left inverse r and right inverse l are not required to be equal. The following property is added to the quasigroup structure:

∃ e ∈ Self, ∀ a ∈ Self, ∃ r, l ∈ Self such that l ∘ a = a ∘ r = e

Implementors