[−][src]Trait un_algebra::relation::inequality::InequalityLaws

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

Laws of inequality relations.

Provided methods

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

The property of inequality symmetry.

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

The property of inequality irreflexivity.

Loading content...

Implementors

`impl<I: Inequality> InequalityLaws for I`[src]

Blanket implementation of inequality relation laws for inequality relation implementations.