antireflexive

💡 An antireflexive relation never relates an element to itself, a property students verify by checking diagonal entries systematically.

یک رابطه‌ی ضدانعکاسی هرگز یک عنصر را به خودش مرتبط نمی‌کند، و این ویژگی را دانش‌آموزان با بررسی سیستماتیک ورودی‌های قطری تأیید می‌کنند.

💡 Graphs representing antireflexive relations omit loops, cleaning diagrams and clarifying proofs instantly.

نمودارهایی که روابط ضدانعکاسی را نشان می‌دهند، حلقه‌ها را حذف می‌کنند، نمودارها را تمیز می‌کنند و اثبات‌ها را فوراً روشن می‌کنند.

💡 In logic, antireflexive predicates mirror strict inequality, banning x = x pairings from the domain.

در منطق، گزاره‌های ضدانعکاسی، نابرابری اکید را منعکس می‌کنند و جفت‌های x = x را از دامنه حذف می‌کنند.