# Category:Reflexive Reductions

This category contains results about Reflexive Reductions.

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}$

## Subcategories

This category has only the following subcategory.

## Pages in category "Reflexive Reductions"

The following 6 pages are in this category, out of 6 total.