function such that every element of the codomain has a preimage
Nothing in the MetaHistoryBook collection references this item yet.