Partial algebra

In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.^[1][2]

Example(s)

• partial groupoid
• field — the multiplicative inversion is the only proper partial operation^[1]
• effect algebras^[3]

Structure

There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain (1982).^[1]