定義 3 一個布林代數 B 的偏序可以定義 B 上的無窮運算,即:無窮 + 和無窮•。由於在 B 的偏序中,。因此,對於任意的非空集合,定義,。特別是, .定義 4 對於所有的, ...
確定! 回上一頁