where (s′, x) is any pair such that

where (s
′
, x) is any pair such that s
′ ∈ S, x ∈ D(s
′
), s = T (s
′
, x).

ผลลัพธ์ (ไทย) 1:

ที่ (s′, x) จะมีคู่เช่น′∈ S, x ∈ D(s′), s = T (s′, x).

ผลลัพธ์ (ไทย) 2:

ที่
(s '
, x) คือคู่ใด ๆ ดังกล่าวที่ s
'∈ S, x ∈ D
(s '
), s = T
(s '
, x)

ผลลัพธ์ (ไทย) 3:

ที่ ( S
นั้น
, x ) เป็นคู่ใด ๆเช่นว่า S
∈’ s , X ∈ D ( s

s School ) = T ( S
นั้น
, x )