偏代数

偏代数是一个二元组 ，其中对于每个 ，存在一个 序数 和一个集合 ，使得 是一个从 到 的函数。在 的情况下，运算 被称为全运算，否则，它被称为偏运算。