偏代數

偏代數是一個二元組 ，其中對於每個 ，存在一個 序數 和一個集合 ，使得 是一個從 到 的函式。在 的情況下，運算 被稱為全運算，否則，它被稱為偏運算。