 One of the central results about the AGM model is a representation theorem for partial meet contraction. According to this theorem, an operation \(\div\) is a partial meet contraction for a belief set \(K\) if and only if it satisfies the six above-mentioned postulates, namely Closure, Success, Inclusion, Vacuity, Extensionality, and Recovery.