 The universal property of a power object is that every relation arises in this way, giving a bijective correspondence between relations formula_11 and morphisms formula_7.From finite limits and power objects one can derive that

In some applications, the role of the subobject classifier is pivotal, whereas power objects are not.Thus some definitions reverse the roles of what is defined and what is derived.