Function un_algebra::relation::inequality::irreflexivity

pub fn irreflexivity<T: Inequality>(f: &Rel<T>, x: &T) -> bool

The property of (equivalence) irreflexivity.