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


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