From ProofWiki
Jump to navigation Jump to search


The use of the symbol $\restriction$ is a recent innovation over the more commonly-encountered $|$.

Thus the notation $\mathcal R |_{X \times Y}$ and $\struct {T, \circ|_T}$, etc. are currently more likely to be seen than $\mathcal R {\restriction_{X \times Y} }$ and $\struct {T, \circ {\restriction_T} }$.

No doubt as the convention becomes more established, $\restriction$ will develop.

It is strongly arguable that $\restriction$, affectionately known as the harpoon, is preferable to $|$ as the latter is suffering from the potential ambiguity of overuse.

Some authors prefer not to subscript the subset, and render the notation as:

$f \mathbin \restriction X = \set {\tuple {x, \map f x}: x \in X}$

but this is not recommended on $\mathsf{Pr} \infty \mathsf{fWiki}$ because it has less clarity.