Category:Reflexive Reductions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Reflexive Reductions.


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