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