Click the thumbnails to enlarge.

Axiom of Choice (Figure 1.3.1)

The well ordered set TP (Figure 1.3.2)