Observe that abstraction is always

Observe that abstraction is always well defined. The third condition captures the essence of the concept of abstraction.
The reader may wonder why we define abstractions only over one single multivalued property a. It could indeed be useful to group together objects that agree on a set of functional or multivalued properties. However, it can be shown that abstraction over functional properties is expressible using the other GOOD operations introduced in this section. Furthermore, abstraction
over multiple properties can always be reduced to abstraction over one single property. More details on the expressive power of abstraction are given in [32].

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

สังเกตว่า abstraction เสมอด้วยกำหนด เงื่อนไขที่สามจับสาระสำคัญของแนวคิดของ abstractionผู้อ่านอาจสงสัยว่า ทำไมเรากำหนด abstractions เดียวกว่าเดียวมีหลายค่าคุณสมบัติได้ แน่นอนอาจเป็นประโยชน์วัตถุกันกลุ่มที่ยอมรับชุดของคุณสมบัติการทำงาน หรือมีหลายค่า อย่างไรก็ตาม มันสามารถถูกแสดงว่า abstraction ผ่านคุณสมบัติทำงาน expressible ใช้ดีการดำเนินการอื่น ๆ ในส่วนนี้ นอกจากนี้ abstractionผ่านคุณสมบัติต่าง ๆ จะสามารถลดการ abstraction ผ่านคุณสมบัติหนึ่งเดียว พลังการแสดงออกของ abstraction รายละเอียดเพิ่มเติมได้ใน [32]

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

สังเกตสิ่งที่เป็นนามธรรมที่มีการกำหนดไว้อย่างดีเสมอ เงื่อนไขที่สามจับสาระสำคัญของแนวคิดของนามธรรม.
ผู้อ่านอาจสงสัยว่าทำไมเรากำหนด abstractions เพียงสถานที่ให้บริการในช่วงที่มีหลายเดียว แน่นอนมันอาจจะมีประโยชน์ร่วมกันกับกลุ่มวัตถุที่เห็นด้วยกับการตั้งค่าของคุณสมบัติการทำงานหรือหลายค่า แต่ก็สามารถแสดงให้เห็นสิ่งที่เป็นนามธรรมมากกว่าคุณสมบัติการทำงานที่มีการแสดงได้โดยใช้การดำเนินงานที่ดีอื่น ๆ ที่นำมาใช้ในส่วนนี้ นอกจากนี้สิ่งที่เป็นนามธรรมมากกว่าคุณสมบัติหลาย ๆ เสมอสามารถลดการเอาทรัพย์สินเดียว
รายละเอียดเพิ่มเติมเกี่ยวกับการแสดงพลังของนามธรรมจะได้รับใน [32]

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

สังเกตว่า abstraction หมายดีเสมอ ภาพที่สาม จับสาระสำคัญของแนวคิดนามธรรม
ผู้อ่านอาจจะสงสัยว่าทำไมเรากำหนดนามธรรมเพียงหนึ่งเดียว multivalued คุณสมบัติ 1 . มันอาจจะเป็นประโยชน์กับกลุ่มด้วยกันวัตถุที่ตกลงบนชุดของการทำงาน หรือ multivalued คุณสมบัติ อย่างไรก็ตามมันสามารถแสดงให้เห็นว่าสิ่งที่เป็นนามธรรมมากกว่าคุณสมบัติการทำงานเป็น expressible ใช้ดีอื่น ๆ การแนะนำในส่วนนี้ นอกจากนี้ นามธรรม
ผ่านคุณสมบัติหลายจะถูกลดลงไปเป็นนามธรรมมากกว่าหนึ่งคุณสมบัติ รายละเอียดเพิ่มเติมเกี่ยวกับพลังที่แสดงออกเป็นนามธรรมจะได้รับใน [ 32 ]