در ریاضیات اتحادها تساوی هایی هستند که به ازای هر مقدار عددی از دامنه خود که بجای متغییرهایشان قرار دهیم همواره برقرار باشند. به عنوان مثال تساوی برای هر x عضو دامنه برقرار است. لذا این عبارت جبری یک اتحاد است، اما تساوی فقط برای x=1 برقرار است. پس این عبارت یک اتحاد نمی باشد. در ...