Definition:Preimage Set


 * The preimage of a subset of the codomain of a relation
 * The preimage of a subset of the codomain of a mapping


 * The preimage of an element of the codomain of a relation
 * The preimage of an element of the codomain of a mapping


 * The preimage of the complete codomain of a relation
 * The preimage of the complete codomain of a mapping.