Connectedness criteria in R\mathbb{R}. Let ERE\subseteq\mathbb{R} have the subspace topology. The following are equivalent:

  1. EE is .
  2. EE is an , with the empty set and one-point sets allowed.
  3. EE is order-convex: whenever a,bEa,b\in E and a<c<ba<c<b, one has cEc\in E.
Applications

These criteria are all manifestations of the same phenomenon: in R\mathbb{R}, connectedness is completely controlled by order. They are often paired with to pin down real-valued images.