Mathematics & Linguistics an operation that associates each element of a given set (the domain) with one or more elements of a second set (the range)