finite character

A family of sets is of finite character if

  1. 1.

    For each A, every finite subset of A belongs to ;

  2. 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