A" 的子集 "B"，使得任一在 "A" 内的元素 "a"，总有一在 "B" 内的元素 "b" 会有 "a" ≥ "b"。通常这个预序集合要么是偏序集合要么是有向集合。一个共尾函数则指一函数 "f": "X" → "A"，其中 "A" 为预序陪域，其值域"f"("X") 共尾于此一陪域。一个共尾序列是指一由 "A" 的元素组成的序列，其元素共尾于 "A"。一个共尾网指一由 "A" 的元素组成的网，其元素共尾于 "A"。关于共尾子集的势，请见共尾性。
性质.任一偏序集合均共