ABSTRACT
The following definitions describe some additional properties closure systems may have.
C(X) = U {C(E) 1ECX and E is finite}. If the system of sets being considered is a closure system, the concepts of this definition agree, and we have the following result, which we shall not prove here. (A proof is given by Th. Ihringer in [58]).
