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