if a --> b holds and b --> c holds,

if a --> b holds and b --> c holds, then a --> c also holds. a --> b is called as a functionally that determines b.

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

ถ้าเป็น--> ถือ b และ b--> มี c การ--> c ยังมี --> b เรียกว่าเป็นการตามหน้าที่ที่กำหนด b

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

ถ้า -> กถือและ B -> C ถือแล้ว -> ซียังถือ - การ> B จะเรียกว่าเป็นหน้าที่ที่กำหนดข

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

ถ้า - > B > C และ B -- ถือถือแล้ว -- > C ยังถือ -- > b เรียกว่าเป็นหน้าที่ที่กำหนด .