共尾 在數學裡共尾子集是一個预序集合 A 的子集 B使得任一在 A 內的元素 a總有一在 B 內的元素 b 會有 a  bB 因此被稱為共尾於 A相對地共首子集則是一预序集合 A 的子集 B使得任一在 A 內的元素 a總有一在 B 內的元素 b 會有 a  b通常这个预序集合要么是偏序集合要么是有向集合 一個共尾函數則指一函數 f X  A其中 A 為预序陪域其值域 fX 共尾於此一陪域一個共尾序列是指一由 A 的元素組成的序列其元素共尾於 A一個共尾網指一由 A 的元素組成的網其元素共尾於 A 關於共尾子集的勢請見共尾性