בערך
אכן שלושת התנאים מתקיימים, אבל הביטוי "באופן ריק" אינו מדוייק כאן. הביטוי "באופן ריק" מתייחס למצב בו טענה נכונה עבור הקבוצה הריקה. לדוגמא, הטענה "לכל סוס שיש לו 15 רגליים, יש גם עין בקצה הזנב" היא טענה נכונה. היא נכונה כי קבוצת הסוסים בעלי 15 רגליים היא קבוצה ריקה. לכן אומרים שזה מתקיים "באופן ריק".
במקרה שלך הטענות לא מתקיימות באופן ריק, כי היחס שלך אינו ריק. לדוגמא, סימטריות "לכל a,b in A אם aRb אז bRa". שים לב, שאף אחד לא דרש ש-a שונה מ-b. אכן הטענה הזו מתקיימת כאשר גם a וגם b הם האיבר היחיד ב-A. מה שיותר נכון לומר שהטענות מתקיימות באופן טריוויאלי.
