 Thus, an augmented temporal frame \(\mathcal{F}\) has locally constant domains if and only if it has both expanding and shrinking domains. In particular, we say that \(\mathcal{F}\) has a constant domain if all local domains are the same as the global domain. Since the global domain is required to be the union of all local domains, having locally constant domains implies having a constant domain in case the set of time instants forms a temporally connected whole.