Partial algebra


In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.

Example(s)

There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain.