 In (Aczel 1978) the author also considered a choice principle called the Presentation Axiom, which asserts that every set is the surjective image of a so-called base. A base is a set, say \(B\), such that every relation with domain \(B\) extends a function with domain \(B\).