Vamos mostrar então que $[\![x = \check{a}]\!]=1$:

   * $[\![\check{a} \subseteq x]\!] = \inf_{t \in dom(\check{a})}(\check{a}(t) \rightarrow [\![t \in x]\!]) = \inf_{t \in dom(\check{a})}[\![t \in x]\!]$
           * Pois para todo $t \in dom(\check{a})$ é da forma $t = \check{a_y}$
           * Pela hipótese de indução $[\![\check{a_y} = x]\!]=1$ e [[forcing:valorbooleano|$x(y) \leq [\![y \in x]\!]$]], então $[\![y \in x]\!] = 1$
           * Assim $[\![y \in x]\!][\![y = \check{a_y}]\!] \leq [\![\check{a_y} \in x]\!]$, portanto $[\![\check{a_y} \in x]\!] = 1 = [\![\check{a} \subseteq x]\!]$

   * $[\![x \subseteq \check{a}]\!] = \inf_{t \in dom(x)}(x(t) \rightarrow [\![t \in \check{a}]\!]) = \inf_{t \in dom(x)}(x(t) \rightarrow \sup_{\sigma \in dom(\check{a})}\check{a}(t)[\![t =\sigma]\!]) = \inf_{t \in dom(x)}(x(t) \rightarrow \sup_{\sigma \in dom(\check{a})}[\![t =\sigma]\!])$
           * Se $x(t) = 0$, então $x(t) \rightarrow \sup [\![t = \sigma]\!]=1$
           * Se $x(t) = 1$, então existe $a_t \in a$ e $[\![t = \check{a_t}]\!]=1$ tal que, $x(t) \rightarrow \sup_\sigma [\![t = \sigma]\!]=1$
           * Portanto $[\![x \subseteq \check{a}]\!]=1$ 
Com isso $[\![\check{a} = x]\!]=[\![\check{a} \subseteq x]\!][\![x \subseteq \check{a}]\!]=1\cdot 1 = 1$ <wrap right>$\square$</wrap>