 \(D: T \to \mathcal{P}(\mathcal{U})\) is a domain function, assigning to each time instant \(t\in T\) a local domain \(D_{t} \subseteq \mathcal{U}\) such that \(\mathcal{U}= \bigcup_{t\in  T}D_t\).[6]