Even though the underlying structures are sets , mathematicians talk about domain and codomain of a function . Each element of the domain will be associated with one element of the codomain . Functions need not act on numbers : the domain and codomain of a function may be arbitrary sets .