V matematike a logike je to obecný vzťah, ktorý združuje každý prvok množiny A s jedným alebo viacerými prvkami množiny B.

Priradenie sa považuje za jednoznačné, ak každému prvku z A odpovedá jediný prvok z B, a za jedno-jednoznačné alebo vzájomné, ak každý prvok z B odpovedá jednému a práve jednému prvku z A.