Definition.
Write
τ
X
,
Y
[
U
;
V
∥
Z
]
for
∑
z
ℙ
[
Z
=
z
]
τ
X
,
Y
[
U
|
z
=
z
;
V
|
Z
=
z
]