User:Lord Farin/Long-Term Projects/Munkres

= Processing of 'A Handbook of Terms used in Algebra and Analysis' =



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)

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)
Exc. 3.9: Lexicographic Ordering is Ordering

Other things
None