This is a development version of this entry. It might change over time and is not stable.
Please refer to release versions for citations.
This entry contains two theories. The first, Topology, develops the basic notions of general topology. The second, which can be viewed as a demonstration of the first, is called LList_Topology. It develops the topology of lazy lists.