Category:Definitions/Dipper Relations

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Dipper Relations.
Related results can be found in Category:Dipper Relations.


The dipper relation $\RR_{m, n}$ is the relation on $\N$ defined as:

$\forall x, y \in \N: x \mathrel {\RR_{m, n} } y \iff \begin {cases} x = y \\ m \le x < y \text { and } n \divides \paren {y - x} \\ m \le y < x \text { and } n \divides \paren {x - y} \end {cases}$

Pages in category "Definitions/Dipper Relations"

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