יחס טרנזיטיבי
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה ולוגיקה, חוק ההעברה הוא יחס המקיים את "כלל המעבר": אם a מתייחס ל-b ו-b מתייחס ל-c, אז גם a מתייחס ל-c. תכונה חשובה זו מתקיימת בכל יחס שקילות ובכל יחס סדר. מאידך, כל חוק העברה אפשר לתאר באמצעות יחס שקילות ויחס סדר על קבוצת המנה. ליחס המקיים חוק העברה קוראים יחס עוֹבְרָנִי[1] (בלועזית: יחס טרנַזיטיבי).
המונח "טרנזיטיביות" מפנה לכאן. לערך העוסק במושג דקדוקי, ראו פועל יוצא.
היחסים "עוקב", "צמוד ל", "ליד", "הבא בתור" או "בן-של" אינם טרנזיטיביים. היחס "בן-של" למשל אינו טרנזיטיבי, משום שמכך שאיתמר הוא בנו של אהרון ושאהרון בנו של עמרם, לא נובע שאיתמר הוא בנו של עמרם. לעומת זאת, היחס "x צאצא של y" הוא טרנזיטיבי (זהו "הסגור הטרנזיטיבי" של היחס הקודם - ראו להלן). היחס "צאצא" טרנזיטיבי ואינו סימטרי.