|
|
|
|
finite character
|
(Definition)
|
|
|
A family $\mathcal{F}$ of sets is of finite character if
- For each $A\in \mathcal{F}$ every finite subset of $A$ belongs to $\mathcal{F}$
- If every finite subset of a given set $A$ belongs to $\mathcal{F}$ then $A$ belongs to $\mathcal{F}$
|
"finite character" is owned by Koro.
|
|
(view preamble | get metadata)
Cross-references: subset, finite
There are 3 references to this entry.
This is version 4 of finite character, born on 2002-12-09, modified 2003-12-13.
Object id is 3692, canonical name is FiniteCharacter.
Accessed 2695 times total.
Classification:
| AMS MSC: | 03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
