包容谓词

（计算机科学技术）

包容谓词（inclusive predicates），计算机科学技术名词，如果当谓词对递增序列（链）所有元素都成立（取值为真），它就对该序列的上确界也成立，那么该谓词是包容的。