A discrete cancellation -algebra is a $\mathbb{Z}$-algebra with
The integers are a discrete cancellation -algebra.
The rational numbers are a discrete cancellation -algebra.
Every discrete cancellation ring is a discrete cancellation -algebra.
Every discrete division Z-algebra is a discrete cancellation -algebra.
Every discrete reciprocal Z-algebra is a discrete cancellation -algebra.