If a-> b holds and y is attribute s

If a-> b holds and y is attribute set, then ay -> by also holds

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

ถ้าเป็น -> ถือ b และ y คือ ชุดแอตทริบิวต์ แล้วสา -> โดยยังถือ

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

หาก A-> B ถือและ Y เป็นคุณลักษณะตั้งแล้ว Ay -> โดยยังถือ

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

ถ้า A - > B ถือและ Y เป็นคุณลักษณะการตั้งค่าแล้ว ยังถือเป็น - > โดย