运算

设 为一个集合。在 上的运算是从 的幂到 的函数。更精确地说，给定一个 序数 ，从 到 的函数是 元运算在 上。如果 是一个有限序数，那么 元运算 是在 上的有限运算。