nLab difference protoring

Definition

A protoring $M$ is a difference protoring if for all terms $a \in M$, there exists a strictly positive term $b \in M_+$ such that $0 \lt a + b$.

Examples

• Every ordered integral domain is a difference protoring.

See also

• protoring

• integral domain

• archimedean difference protoring

References

• Davorin Lešnik, Synthetic Topology and Constructive Metric Spaces, (arxiv:2104.10399)