up:: DBM MOC reflexiv If a⊂b then a -> b Augmentation If a -> b then ac -> bc transitiv ab x bc -> ac