 In such a structure, \(t^{\mathcal{E}},d^{\mathcal{E}}\in \mathbf{A}_{i}\), \(E^{\mathcal{E}}\subseteq \mathbf{A}_{i}\times \mathbf{A}_{\tau }\) and \(P^{\mathcal{E}}\subseteq \mathbf{A}_{\tau }\times \mathbf{A}_{\tau }\).