nLab
subtractive variety

(Stub)

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.

References

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

Created on December 26, 2016 at 13:44:24. See the history of this page for a list of all contributions to it.