Definition:Restricted Dipper Relation/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Restricted Dipper Relation

The term restricted dipper relation was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$ in order to be referred to compactly in conjunction with the dipper semigroup.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.

The term dipper was coined by Seth Warner in the context of inductive semigroups.

While Warner takes pains to define this relation with his usual attention to detail, he does not actually assign it a name.