تناظر
تَناظُر (correspondence)
در ریاضیات، رابطه‌ای بین دو مجموعه[۱]، به‌نحوی که هر عضو[۲] مجموعۀ اول به یک یا چند عضو مجموعۀ دوم مربوط شود. این یک یا چند عضو را متناظر[۳] یا نظیر می‌نامند. مثلاً اگر A مجموعۀ عضوهای یک خانواده و B مجموعۀ ماه‌های سال باشد و رابطه نیز به‌صورت «روز تولد.... در ماه ..... است» تعریف شود، تناظری بین A و B برقرار می‌گردد. تناظر یک‌به‌یک[۴] بین دو مجموعه وقتی برقرار است که هر عضو از مجموعۀ اول دقیقاً یک متناظر در مجموعۀ دوم، و هر عضو مجموعۀ دوم دقیقاً یک متناظر در مجموعۀ اول داشته باشد.