When we dened the notion of partit

When we dened the notion of partition type, we did so carefully, to ensure that
it would be an invariant. In particular, it was necessary to dene [X] as an ordered
pair of unordered pairs.

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

เมื่อเราเด ned ความชนิดพาร์ติชัน เราไม่ระมัดระวัง มั่นใจว่า
จะมีบล็อก โดยเฉพาะ ก็จำเป็นต้องเดมุ [X] เป็นการสั่ง
คู่คู่ปกติ

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

เมื่อเราเด ned ความคิดของประเภทพาร์ทิชันที่เราทำอย่างระมัดระวังเพื่อให้แน่ใจว่า
มันจะคงที่ โดยเฉพาะอย่างยิ่งมันเป็นสิ่งจำเป็นที่จะเด ne [X] เป็นคำสั่งให้
คู่ของคู่เรียงลำดับ

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

เมื่อเรา  เน็ด ความคิดของประเภทของพาร์ติชัน เราทำอย่างระมัดระวังเพื่อให้แน่ใจว่า
มันจะไม่เปลี่ยนแปลง . โดยเฉพาะอย่างยิ่งมันเป็น เดอ  เน่ [ x ] เป็นสั่ง
คู่เรียงลําดับคู่