半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，Ｖ）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子。（２）Ｖｘ，ｙ∈Ｌ，ｘＶＦ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；（４）Ｆ满足，ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）。另外，还给出拓扑内部算子的方程描