# Tag Info

It appears like I have simply misunderstood the expression: $\langle c, a\rangle \in \sigma \stackrel{def}{=} \alpha(c) \sqsubseteq_{\mathcal{D}} d \Leftrightarrow c \subseteq_{\mathcal{C}} \gamma(d)$. What I read is: $\langle c, a\rangle \in \sigma$ is defined to hold if and only if \$\alpha(c) \sqsubseteq_{\mathcal{D}} d \Leftrightarrow c \subseteq_{\...