Date: Nov 17, 2012 8:26 AM
Author: William Hughes
Subject: Re: Matheology § 152

Note that *set* limits have some important properties.

Given a sequence of sets {B_1,B_2,B_3,...}
then the set limit always exists (it
may be the empty set).


If we have

A = set limit {B_1,B_2,B_3....}

Then

     A is a set
     A cannot contain an element that is not contained
       in any of the B's