n *(mathematics)* The set containing exactly every member of the

domain of a

function such that the member is mapped by the function onto an element of a given subset of the codomain of the function. Formally, of a subset

*B* of the codomain

*Y* under a function ƒ, the subset of the domain

*X* defined by