Definition:Reflexive Reduction

From ProofWiki
Jump to navigation Jump to search


Let $\mathcal R$ be a relation on a set $S$.

The reflexive reduction of $\mathcal R$ is denoted $\mathcal R^\ne$, and is defined as:

$\mathcal R^\ne := \mathcal R \setminus \set {\tuple {x, x}: x \in S}$

Also see

From Set Difference as Intersection with Relative Complement and Intersection is Largest Subset, it follows that $\mathcal R^\ne$ is the largest antireflexive relation on $S$ which is contained in $\mathcal R$.

Thus if $\mathcal R$ is antireflexive, then $\mathcal R = \mathcal R^\ne$.

  • Results about reflexive reductions can be found here.