Vamos definir de maneira recursiva:
Chamamos de nome cada elemento de algum $V_\alpha^B$.
Desta maneira $\{(\emptyset,1)\}$ é um nome, pois temos que $\emptyset \in V_0^B$, assim existe uma função $\sigma : \{\emptyset\} \rightarrow x$, com $x \in B$, portanto podemos escolher especificamente o 1.
Podemos pensar em mm nome como uma descrição sobre determinado conjunto, com $\sigma(p)$ indicando a probabilidade de $p$ pertencer a $\sigma$. Se $\sigma(p) = 0$, dizemos que $p \notin \sigma$, agora se $\sigma(p) = 1$, dizemos que $p \in \sigma$.
Seja $x$ um conjunto. Definimos $\check{x}$ o nome tal que dom$(\check{x}) = \{\check{y}: y \in x\}$ e, para cada $y \in x$, $\check{x}(\check{y}) = 1$.
Vamos calcular $\check{\emptyset}$ e $\check{x}$, sendo $x = \{\emptyset\}$: