Definition:Reflexive Reduction
Jump to navigation
Jump to search
Definition
Let $\RR$ be a relation on a set $S$.
The reflexive reduction of $\RR$ is denoted $\RR^\ne$, and is defined as:
- $\RR^\ne := \RR \setminus \set {\tuple {x, x}: x \in S}$
Also see
This page or section has statements made on it that ought to be extracted and proved in a Theorem page. In particular: The above is the page into which the proof outlined below is to be written You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
From Set Difference as Intersection with Relative Complement and Intersection is Largest Subset, it follows that $\RR^\ne$ is the largest antireflexive relation on $S$ which is contained in $\RR$.
This page or section has statements made on it that ought to be extracted and proved in a Theorem page. In particular: The above is the page into which the proof outlined below is to be written You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
Thus if $\RR$ is antireflexive, then $\RR = \RR^\ne$.
- Results about reflexive reductions can be found here.