Partial algebraIn abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.Example(s) partial groupoid field — the multiplicative inversion is the only proper partial operation effect algebrasStructureThere is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain.