In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.
[1][2] There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain (1982).
[1]
This algebra-related article is a stub.
You can help Wikipedia by expanding it.