自反率

then then then

自反率 If Y∈X∈U then X → Y
· 傳遞率（Transitivity）
If X → Y and Y→ z then X → Z
· 增廣率（Augmentation
If X → Y then XY→YZ
· 合併規則Union Rule
If X → Y and X → Z then X→YZ
· 分解規則Decomposition Rule
If X→YZ then X → Y and X → Z
· 偽傳遞規則Pseudotransitivity Rule
If X→Y and WY→Z then X→Z
· 積累規則Set Accumulation Rule
If X→Y and Z→W then X→YW