Function lattices::algebra::absorbing_element

pub fn absorbing_element<S: Debug + PartialEq + Clone, const N: usize>(
    items: &[S; N],
    f: impl Fn(S, S) -> S,
    z: S,
) -> Result<(), &'static str>

Defines the absorbing_element property.

An element z is absorbing if az = z and za = z for all a.