وضعکنندۀ قواعدی برای انطباق عناصری از یک مجموعه بر عناصری از مجموعۀ دیگر و معمولاً با تناظر یکبهیک