設 
是一個函式，使得對於任何 
, ..., 
，都至少存在一個 
使得 
。那麼 
-算符 
給出了使得 
成立的最小數 
。更一般地，對於關係 
，
-算符給出最小的 
（如果存在），使得 
為真，並且 
的這個最小值表示為 
(Mendelson 1997, p. 175)。
例如，給定一個標準 crit 和一個列表 
x1, x2, ..., xn
，
-算符可以用 Wolfram Language 寫成選擇[Sort[
x1, x2, ..., xn
], crit, 1].
