共尾
維基百科,自由的 encyclopedia
在數學裡,共尾子集是一個预序集合 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。
關於共尾子集的勢,請見共尾性。