1. 定义 定义 1 (严格单调递减) 设 以及 为 预序集 (或 偏序集), 称 映射 是 严格单调递减 的, 若满足： 其中 . 2. 相关性质 3. 相关概念 单调递减 严格单调映射, 严格单调递增 4. 术语翻译 中文英文严格单调递减strict monotone decreasing 序论