تالار گفتمان مانشت

خروجی عبارت زیر چیه؟
A – A ∞ B
تهی میشه یا B میشه؟

من خودم میگم میشه تهی.شما چطور؟

اگر اولویت پیوند طبیعی رو بالاتر در نظر بگیریم(نسبت به عملگر منها) اونوقت حاصل تهی میشه

اگه اولویت تفریق رو بیشتر از پیوند بگیریم تهی می شه در غیر این صورت جواب بستگیبه هدینگB داره . برای تفریق هدینگ دو طرف (A,A-B) باید یکسان باشه . پس تنها حالتی که این تفریق معنی داره اینکه هدینگ B با A برابر باشه که در این صورت پیوند طبیعی این دو تا رابطه تبدیل می شه به اشتراک و جواب می شه‌: A - A Interests B . که همون A SemiMinus B می شه .