רק אחד משלושת היחסים שאת הדיגרפים שלהם הצגנו זה עתה מתאר יחס רפלקסיבי . היחס הרפלקסיבי הוא . R רק בדיגרף שלו , כל קדקוד מחובר לעצמו בחץ לולאה . בדיגרף של R 2 חלק מן הקדקודים מחוברים לעצמם בחץ לולאה , אבל לא כולם . בדיגרף של R המצב קיצוני עוד יותר : אף קדקוד אינו מחובר לעצמו בחץ לולאה . התכונה הזאת של היחס R מכונה אי-רפלקסיביות . הגדרה 2 . 9 יחס אי-רפלקסיבי יחס דו-מקומי R מעל A נקרא אי-רפלקסיבי ( , ( irreflexive אם לכל x , x ∉ R , x ∈ A כלומר אם לכל x R x , x ∈ A
אל הספר