 As applied to a single belief set \(K\), this definition is equivalent with the original definition. Notably, it yields the same result as the original definition even in the limiting case when \(p\) is a tautology, but it avoids using the selection function in this limiting case. With this, slightly adjusted, definition, one and the same selection function can be used for all belief sets, and consequently we can construct iterated change using only one, AGM-style, selection function. Since partial meet revision is definable from partial meet contraction via the Levi identity, this means that we have global operations for both contraction and revision. This construction is so general that it does not impose any new properties on contraction or revision, i.e. no properties in addition to the usual AGM postulates (Hansson 2012). 