finite character

A family $ℱ$ of sets is of finite character if

1. For each $A\in ℱ$, every finite subset of $A$ belongs to $ℱ$;

2. If every finite subset of a given set $A$ belongs to $ℱ$, then $A$ belongs to $ℱ$.

Title	finite character
Canonical name	FiniteCharacter
Date of creation	2013-03-22 13:13:31
Last modified on	2013-03-22 13:13:31
Owner	Koro (127)
Last modified by	Koro (127)
Numerical id	7
Author	Koro (127)
Entry type	Definition
Classification	msc 03E20