アームストロングの公理

関数従属性の推論規則として健全かつ完全な3つの公理。反射律（Y⊆Xならば X→Y）、増加律（X→Yならば XZ→YZ）、推移律（X→YかつY→Zならば X→Z）からなる。これらから合併律、分解律、擬推移律が導出される。