在数学里，共尾子集是一个预序集合 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。

In mathematics, let A be a set and let ≤ be a binary relation on A. Then a subset B of A is said to be cofinal if it satisfies the following condition:

This definition is most commonly applied when A is a partially ordered set or directed set under the relation ≤.