# nLab difference protoring

Contents

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## 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$.