X. The set Y therefore has an order topology, the induced order topology. As a subset of X, Y also has a subspace topology. The subspace topology is always at least as fine as the induced order topology, but they are not in general the same.

For example, consider the subset Y = {-1} ∪ {1/n}_n∈N of the rationals. Under the subspace topology, the singleton set