Generalization of universal algebra to partial operations
5 statements · 0% with external sources · numbers in brackets are citations
4 identifiers linking partial algebra across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In abstract algebra, a partial algebra is a pair <A, P> where A is a set and P is a collection of partial operations on A. In universal algebra, when P consists of operations that are defined on all arguments taken from A, then the algebra is a total algebra. Frequently the adjective total is omitted when there are no partial operations.