Informally ข้อจำกัดเช่นของฟังก์ชัน f , a . . . . . . . . . . . . . . " ผลของ trimming Its โดเมนสามารถใช้ตาม . . . . . . . ถ้า S เป็น subset ของใดๆข้อจำกัดเช่น X . . . . . . . . . . . . . . . . ของ F S S S . . . . | function f / Y . f งาน | S ( s ) = f ( S ) S . . . . . . . . . . . . . . . สำหรับทั้งหมดในกรัม . . . . . . . . . . . . . . แล้วข้อจำกัดเช่นของ F , f . . . . . . . มันกล่าวว่าเป็น extension ของ G . . . . . . .overriding ของ ' ' F : x - g : W - Y Y โดย ( ยังเรียกว่า . . . . . . . overriding สหภาพ ) ) ) ) ) ) ) ) ) denoted extension ของ g ( F นอกจากนี้กรัม ) : ( X - Y . . . . . . . เรื่อง∪ W ) คิด . . . . . . . set-theoretical สหภาพของ graphs ของ G และ F X W . . . . . . . | ภายในใดๆมันเป็นองค์ประกอบ relates ของโดเมนของตนภายใต้ g g . . . . ภาพที่เป็นและใดๆอื่นๆองค์ประกอบของโดเมนของตน . . . . . . . . . . . . . . . . . . มันเป็นเพียงภาพ F Overriding associative ใดว่าง ; มันมี function ที่เป็นองค์ประกอบ . . . . . . . . . . . . . | an identity f และ g x W x ∩∩ | W . . . . . . . . . . . . . pointwise เท่ากับ ( domains . f และ g คือ disjoint ) และสหภาพของ f และ g แล้ว . . . . . . . . . . . . . . . . overriding กำหนดและการทำงานของพวกเขา . . . . . . . นี่เป็นหนึ่งในสหภาพ agrees กับไบนารี . . . . . . . สำหรับหนึ่งในความสัมพันธ์ของสหภาพ
การแปล กรุณารอสักครู่..
