格的弱半合同

引入了格的弱半合同的概念并讨论了与之相关的一些概念和性质。