利用蕴涵运算，在完备剩余格上定义了蕴涵闭包算子，给出了它的若干等价刻画及其表示定理。