[−][src]Trait un_algebra::relation::equivalence::EquivalenceLaws

pub trait EquivalenceLaws: Equivalence {
    fn symmetry(f: &Rel<Self>, x: &Self, y: &Self) -> bool { ... }

    fn reflexivity(f: &Rel<Self>, x: &Self) -> bool { ... }

    fn transitivity(f: &Rel<Self>, x: &Self, y: &Self, z: &Self) -> bool { ... }
}

Laws of equivalence relations.

Provided methods

fn symmetry(f: &Rel<Self>, x: &Self, y: &Self) -> bool

The property of equivalence symmetry.

fn reflexivity(f: &Rel<Self>, x: &Self) -> bool

The property of equivalence reflexivity.

fn transitivity(f: &Rel<Self>, x: &Self, y: &Self, z: &Self) -> bool

The property of equivalence transitivity.

Loading content...

Implementors

impl<E: Equivalence> EquivalenceLaws for E[src]

Blanket implementation of equivalence relation laws for equivalence relation implementations.

Loading content...