ula_21是formula_22的一个子集），一般表述为：在这里，formula_29是谓词，formula_20是主词（formula_22集合中的一个元素），formula_24是一个传回真假值的命题函数：所以，在数学中，谓词被视为一种布林值函数。在实例中，如果没有指定formula_22集合，就表示formula_22集合是由谓词formula_29所给出。在这里，有几个习惯用法：