PlanetMath: finite character

(more info)

Math for the people, by the people.

Main Menu

finite character

(Definition)

A family $\mathcal{F}$ of sets is of finite character if

For each $A\in \mathcal{F}$ , every finite subset of belongs to $\mathcal{F}$ ;
If every finite subset of a given set belongs to $\mathcal{F}$ , then belongs to $\mathcal{F}$ .

"finite character" is owned by Koro.

(view preamble)

Log in to rate this entry.
(view current ratings)

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 2110 times total.

Classification:

03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )

Pending Errata and Addenda

None.[ View all 1 ]

Discussion

forum policy

No messages.

Interact