let xxx be a given sequence and yyy

let xxx be a given sequence and yyy be a sequence of positive integers such that zzz

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

ให้สามารถกำหนดลำดับและ yyy เป็นลำดับของจำนวนเต็มบวกเช่น xxx ที่ zzz

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

ให้ xxx จะเป็นลำดับที่กำหนดและ yyy เป็นลำดับของจำนวนเต็มบวกดังกล่าวว่า ZZZ

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

ให้ X เป็นระบุลำดับและ yyy เป็นลำดับของจำนวนเต็มที่เป็นบวก zZz