Click the thumbnails to enlarge.

Definition of basis (Figure 3.3.1), criterion for a new basis (Figure 3.3.2), and half-disk topology (Figure 3.3.3).

 

Tangent disk topology (Figure 3.3.4), lexicographic order (Figure 3.3.5), and local basis (Figure 3.3.6)