(1) Given that ω(enfP(z)) = 〈s1 ,...,s n〉, we know that enfP(z) ... We denote the prepending of an element x ∈ X to a sequence w∈ [X] by x : w.
確定！ 回上一頁
