包容謂詞

包容謂詞（inclusive predicates）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：包容謂詞
• 外文名：inclusive predicates
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

如果當謂詞對遞增序列（鏈）所有元素都成立（取值為真），它就對該序列的上確界也成立，那么該謂詞是包容的。

出處

《計算機科學技術名詞 》第三版。