Notes and examples from An Introduction to Abstract Mathemtics by Robert J Bond, and William J. Keane.