irreflexive relation

An irreflexive relation is a homogeneous relation where every element is incomparable to itself.

Formally,
a binary relation R over set S is irreflexive if for all sS, (s,s)R.


Powered by Forestry.md