Definition:Integer/Formal Definition/Notation
Jump to navigation
Jump to search
Definition
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.