For the space {1} x (1, 2], the intervals are half open intervals {x | (1, 1] < (1, x] < (1, 2]}. I can also define open intervals {x | (1, 1) < (1, x) < (1, 2)} and a half open interval about {1, (1, 2]}. Both are valid topology.
The space {1,2} x Z_+ contains the set {{1, 1} {1, 2} ... {2, 1}, {2, 2} ... }. Because I can define the basis {x | (x - 1, x + 1), x in Z_+} for space Z_+, the basis are {{1, (x - 1, x+1), {2, (x - 1, x +1)}}. The basis for x = 1 are {1, [1, 2)} and {2, [1, 2)}.
I can't find errors but this is suggesting that I can find many different order topology on a set? Infinitely many? :/.