💡 实例
在编程中，我们可能会写一个“arithmetic predicate”来判断某个数是否为偶数，例如：`is_even(x) = x % 2 == 0`。