Abstract: Constructivizations are given for the classical theorem that an interval is connected in the sense that it cannot be the union of two nonvoid disjoint open subsets, and also for the theorem that an open set is the union of disjoint open intervals.