共尾

在數學裏 ， 共尾子集是一個預序集合 A 的子集 B ， 使得任一在 A 內的元素 a ， 總有一在 B 內的元素 b 會有 a ≤ b 。 B 因此被稱爲共尾於 A 。 相對地 ， 共首子集則是一預序集合 A 的子集 B ， 使得任一在 A 內的元素 a ， 總有一在 B 內的元素 b 會有 a ≥ b 。 通常這個預序集合要麼是偏序集合要麼是有向集合 。 一個共尾函數則指一函數 f: X → A ， 其中 A 爲預序陪域 ， 其值域 f ( X ) 共尾於此一陪域 。 一個共尾序列是指一由 A 的元素組成的序列 ， 其元素共尾於 A 。 一個共尾網指一由 A 的元素組成的網 ， 其元素共尾於 A 。 關於共尾子集的勢 ， 請見共尾性 。