1. 概述 于 偏序集 中, 任意两个 元素 的 交 就是它们共同的 下确界 . 它的对偶概念就是 接, 即 上确界 . 2. 定义 定义 1 (交) 设 为 偏序集 以及 , 若它们的 下确界 存在于 中, 则定义 与 的交 为： 3. 相关概念 接 半格, 交半格, 格 4. 术语翻译 中文英文交meet 序论 格论