العلاقة z هي متعدية للمجموعة A عندما يتم استيفاء الشرط التالي، أي عندما تنتمي x و y إلى z و y و y تنتمي إلى z، وهناك العديد من الأمثلة للمواقع التي يمكن فهمها حول المعادلات.
المعادلة الحسابية هي رمز رياضي يشير إلى تساوي تعبيرين، وحل المعادلة يتطلب الاعتماد على القوانين الرياضية وعلى النظريات العلمية للوصول إلى النموذج الصحيح، وهنا سنتعرف على خاصية تجاوز التعلم في التطابق.
مطابقة وظيفة الإصابة
يتم التحقق من خاصية التجاوز لكل زوج مرتب في z، ولا نتحقق من جميع عناصر المجموعة (x، y) ثم نبحث عن الزوج المرتب (x، l) في z الذي يمثل أول قطرة.