פורמליזם (מתמטיקה) – הבדלי גרסאות

{{הפניה לערך מורחב|יחס טרנזיטיבי}}
אם <math>a</math> גורר את <math>b</math> ו-<math>b</math> גורר את <math>c</math>, הרי ש-<math>a</math> גורר את <math>c</math>.