完备格上的诱导算子
완비격상적유도산자
Inducing Operators on a Complete Lattice