Definition 3.12
(Canonical name)
.
Let
x
∈
M
. Define by recursion the
canonical name for
x
by
𝟙
w
ˇ
:
=
{
(
y
ˇ
,
𝟙
)
:
y
∈
x
}
.