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