 Entrenchment-based contraction has been shown to coincide exactly with transitively relational partial meet contraction. For a thorough discussion and more results on entrenchment relations, see Rott 2001.