nLab subtractive variety



A subtractive variety in the sense of Ursini is a variety VV (in the sense of universal algebra) such that the theory of VV contains a constant 0 and a subtraction term ss, i.e. a binary term ss satisfying s(x,x)=0s(x, x) = 0 and s(x,0)=xs(x, 0) = x.


  • Ursini, A.: On subtractive varieties, I. Algebra Universalis 31, 204–222 (1994)

Last revised on September 21, 2020 at 21:18:12. See the history of this page for a list of all contributions to it.