Amstrong Axioms

up:: DBM MOC

reflexiv

If $a\subset b$ then a → b

Augmentation

If a → b then ac → bc

transitiv

ab x bc → ac