For instance, if U, then V provided

For instance, if U, then V provided that both applications of W on the right-hand side are defined, and X is undefined at Y otherwise.

By induction one can establish the following fact:

Lemma/Exercise 2.3.2 If Z is a subset of Q that satisfies (*) and W is any mapping, then there exists a unique discrete-time system W such that E and property (2.10) holds on R.

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

เช่น ถ้า U แล้ว V ได้จัดให้มีทั้งใบสมัครของ W บน ด้านขวามือไว้ และ X ที่ Y อย่างอื่นไม่โดยเหนี่ยวนำ หนึ่งสามารถสร้างความจริงต่อไปนี้:กายจับมือ 2.3.2 ถ้า Z เป็นเซตย่อยของ Q ที่เป็นไปตาม (*) และ W เป็นแม็ปใด ๆ แล้วมีระบบเวลาไม่ต่อเนื่องเฉพาะ W ที่ E และคุณสมบัติ (2.10) เก็บในอาร์

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

ตัวอย่างเช่นถ้า U, V จากนั้นให้ใช้งานทั้งของ W ที่ด้านขวามือจะมีการกำหนดและ X จะไม่ได้กำหนดที่ Y เป็นอย่างอื่น. โดยการเหนี่ยวนำการหนึ่งที่สามารถสร้างความเป็นจริงต่อไปนี้: บทแทรก / ออกกำลังกาย 2.3.2 หาก Z เป็น ย่อยของ Q ที่น่าพอใจ (*) และ W มีการทำแผนที่ใด ๆ แล้วมีอยู่เป็นระบบที่ไม่ต่อเนื่องเวลาที่ไม่ซ้ำกัน W เช่นที่อีและทรัพย์สิน (2.10) ถือหุ้นในอาร์

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

ตัวอย่าง ถ้าคุณ แล้ว V ให้ทั้งการใช้งานของ W บนขวามือมีการกําหนดและ X คือ God ที่ Y อื่น

โดยอุปนัยหนึ่งสามารถสร้างข้อเท็จจริงต่อไปนี้ :

ฟาง / การออกกำลังกาย 2.3.2 ถ้า Z เป็นเซตย่อยของ Q ที่น่าพอใจ ( * ) และ W คือการทำแผนที่ แล้วมีเวลาเฉพาะระบบ W เช่น E และทรัพย์สิน ( 2.10 ) ถือหุ้นในอาร์