nLab
difference protoring

Contents

Contents

Definition

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

Examples

See also

References

Last revised on May 12, 2022 at 09:33:46. See the history of this page for a list of all contributions to it.