in section 14, Munkres introduces the order topology, and gives this example:
The set $X$ = {1,2} $\times \mathbb{Z}_{+}$ in the dictionary order is an example of an ordered set with a smallest element. Denoting 1 $\times$ $n$ by $a_{n}$ and 2 $\times$ $n$ by $b_{n}$, we can represent $X$ by $a_{1},a_{2}, \cdots ; b_{1}, b_{2}, \cdots$. The order topology on $X$ is $not$ the discrete topology. Most one-point sets are open, but there is an exception - the one-point set $\{ b_{1}\}$. Any open set containing $b_{1}$ must contain a basis element about $b_{1}$ (by definition), and any basis element containing $b_{1}$ contains points of the $a_{i}$ sequence.
I understand that given a set $X$, the discrete topology on $X$ is the collection of $all$ subsets of $X$. And it looks like they're assuming that the topology is generated by a certain basis, and that the "definition" that Munkres is using to justify the first part of the last sentence is the one on page 78, i.e. the a subset $U$ of $X$ is open in $X$(i.e. in the topology) if for each $x \in U$, there is a basis element $B \in$ B such that $x \in B$ and $B \subset U$, where B is the basis. The part that's confusing me is the bolded part in the previous paragraph. Why would this imply that $b_{1}$ is not open?
Thank you for any help/clarification!
Sincerely,
Vien