 The following representation theorem has been obtained for partial meet contraction on belief bases (Hansson 1999). An operation \(\div\) is a partial meet contraction for a set \(A\) if and only if it satisfies the following four postulates: