在数学里，共尾子集是一个预序集合 "A" 的子集 "B"，使得任一在 "A" 内的元素 "a"，总有一在 "B" 内的元素 "b" 会有 "a" ≤ "b"。"B" 因此被称为共尾于 "A"。相对地，共首子集则是一预序集合 "A" 的子集 "B"，使得任一在 "A" 内的元素 "a"，总有一在 "B" 内的元素 "b" 会有 "a" ≥ "b"。通常这个预序集合要么是偏序集合要么是有向集合。一个共尾函数则指一函数 "f": "X" → "A"，其中 "A" 为预序陪域，其值域 "f"("X") 共尾于此