\begin{definition}[Definition:Integer/Formal Definition/Notation]
Let $\Z$ be the integers defined as a set of ordered pairs of natural numbers.
We have that $\eqclass {\tuple {a, b} } \boxminus$ is an equivalence class of ordered pairs of natural numbers under the congruence relation $\boxminus$.
As this notation is cumbersome, it is commonplace though technically incorrect to streamline it to $\eqclass {a, b} \boxminus$, or $\eqclass {a, b} {}$.
This is generally considered acceptable, as long as it is made explicit as to the precise meaning of $\eqclass {a, b} {}$ at the start of any exposition.
Category:Definitions/Integers
\end{definition}