Definition
(
E
0
(
K
)
)
.
Ẽ
E
0
(
K
)
=
{
P
∈
E
(
K
)
|
P
~
∈
Ẽ
ns
(
k
)
}
.