Category:Reflexive Reductions
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
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Reflexive Reductions"
The following 8 pages are in this category, out of 8 total.
R
- Reflexive Reduction is Antireflexive
- Reflexive Reduction of Antisymmetric Relation is Asymmetric
- Reflexive Reduction of Ordering is Strict Ordering
- Reflexive Reduction of Relation Compatible with Cancellable Operation is Compatible
- Reflexive Reduction of Relation Compatible with Group Operation is Compatible
- Reflexive Reduction of Transitive Antisymmetric Relation is Strict Ordering
- Reflexive Reduction of Transitive Relation is Transitive
- Reflexive Reduction of Well-Founded Relation is Strictly Well-Founded Relation