# Definition:Range of Relation/Warning

This is the approach to be taken consistently in $\mathsf{Pr} \infty \mathsf{fWiki}$.