# 有限特征　`def.finchar`
有限特征族（Family of Finite Character）
layer 7 · 定义 · 序结构 · 序理论
[在星图里打开](../#n=def.finchar)　·　[节点索引](../index.md)

集合族 $\mathcal{A}$ 具有**有限特征**，当且仅当对任意集合 $X$：

$$X \in \mathcal{A} \iff X\text{ 的每个有限子集都属于} \mathcal{A}$$

也就是说：「局部地看起来像 $\mathcal{A}$ 的成员」$\implies$「整体就是 $\mathcal{A}$ 的成员」。

## 为什么成立（入边，证明在 proofs/）
- [`def.subset`](../nodes/def.subset.md) 子集：用到了定义 子集　[proofs/def-link.finchar-subset.md](../proofs/def-link.finchar-subset.md)
- [`def.poset`](../nodes/def.poset.md) 偏序集：用到了定义 偏序集　[proofs/def-link.finchar-poset.md](../proofs/def-link.finchar-poset.md)

- …另有入边，续页见 [nodes/def.finchar.2.md](./def.finchar.2.md)

## 它能推出什么 / 谁在用它
- …另有出边，续页见 [nodes/def.finchar.3.md](./def.finchar.3.md)

refs: Jech, The Axiom of Choice, Ch. 2

> 说明见 `notes/def.finchar.md`

引用：`def.finchar`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)