Partial algebra

In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.
Structure.
There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain (1982).