Метаалгебра.
Пусть алгебра, в широком смысле - некий математический язык. Тогда современный набор алгебр - это шахматы, где правила устоялись веками и шахматисты просчитывают тысячи комбинаций ходов.
Время от времени появляются новые алгебры - Ньютона-Лейбница, , Лобачевского, Кантора....
Тогда можно предположить метаалгебру как "фабрику алгебр" - некий генератор наборов правил работы с объектами.