User:Lord Farin/Long-Term Projects/Munkres

= Processing of 'Topology' =



First page it covers: Definition:Naive Set Theory.

A classic on topology. Seeking to refresh and enhance my knowledge of topology, I thought it nice to give PW further topological coverage while at it.

Progress thus far
Initial set-up complete. &mdash; Lord_Farin (talk) 08:21, 11 April 2014 (UTC)

Up to $\S 2$. Definition:Many-to-One Relation. &mdash; Lord_Farin (talk) 10:35, 11 April 2014 (UTC)

Up to $\S 4$. Definition:Binary Operation. &mdash; Lord_Farin (talk) 12:53, 12 April 2014 (UTC)

Up to Exercises of $\S 5$. Definition:Cartesian Product/Cartesian Space/Real Cartesian Space/Countable. &mdash; Lord_Farin (talk) 21:33, 15 November 2015 (UTC)

Exercises are very boring -- skipped to $\S 6$. &mdash; Lord_Farin (talk) 13:03, 29 November 2015 (UTC)

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)

 * Exc. 3.9: Lexicographic Ordering is Ordering
 * Exc. 5.*: Cardinality of Cartesian Product of Finite Sets/Corollary

Other things
None