دالة متباينة

تعريف

باستعمال رموز الرياضيات، يُحصل على ما يلي:

والتي تكافئ بشكل منطقي ما يلي:

ومن ناحية أخرى، إذا كان (f(a) = f(b، فإن a = b؛ أي أن (f(a) = f(b تعني a = b. وبشكل مكافئ، إذا كان a ≠ b، فإن (f(a) ≠ f(b.

ومن ناحية أخرى، لتكن f دالة مجال تعريفها هو مجموعة A. الدالة f هي متباينة إذا وفقط إذا توفر لكل عنصرين a و b من A ما يلي:

أمثلة

• الدالة المطابقة هي دالة متباينة.
• الدالة المعرفة ب هي متباينة.
• مراجع
• انظر كذلك
• دالة غامرة
• دالة تقابلية