Abstract:
In this paper we study conditions under which all finitely generated subsets in a space (i.e., in a set with the closure property) have finite lower neighborhoods. We prove the finitary property of such a space. In addition, we state the Birchoff and Frink finatary theorem more precisely. Considered questions have applications to discrete functional systems with superpositions.