Mathematical function f that is defined on some collection X of nonempty sets and assigns some element of each set S in that collection to S by f(S)