 Conjunctive overlap and Conjunctive inclusion are commonly called Gärdenfors’s supplementary postulates for belief contraction. An operation \(\div\) for \(K\) is a transitively relational partial meet contraction if and only if it satisfies the six basic postulates and in addition both Conjunctive overlap and Conjunctive inclusion.