的子集 "B" 是共尾于 "A" 的，若每一 "a" ∈ "A"，总存在一 "b" ∈ "B" 使得 "a" ⊃ "b"。举例来说，若 "E" 是一个群，"A" 可以是有限索引的正规子群所组成的集合。然后，"A" 的共尾子集可以被用来定义这个群的柯西序列和完备性。