# Family of Finite Character　`def.finchar`
English entry · root `../`
[in graph](../#n=def.finchar)　·　[Chinese page (authoritative)](./def.finchar.md)

> English: **name only** · auto-derived from the source data; the Chinese page is authoritative.

layer 7 · definition · cluster 序结构 (`order.structure`) · Order Theory
names: `finite character` (short) · `Family of Finite Character` (full)

## Statement and proof
Chinese only — see the Chinese page `nodes/def.finchar.md` and `proofs/`.


Cite: `def.finchar` (content v0.9.0) · terms: [LICENSE.txt](../LICENSE.txt)