mu-算符

设 是一个函数，使得对于任何 , ..., ，都至少存在一个 使得 。那么 -算符 给出了使得 成立的最小数 。更一般地，对于关系 ，-算符给出最小的 （如果存在），使得 为真，并且 的这个最小值表示为 (Mendelson 1997, p. 175)。

例如，给定一个标准 crit 和一个列表 x1, x2, ..., xn，-算符可以用 Wolfram Language 写成选择[Sort[x1, x2, ..., xn], crit, 1].