10.2.4 闭运算及其实现