اتحاد ها

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

به عنوان مثال در اتحاد مثال زده شده  دو طرف ساده شده و تساوی 0=0 حاصل می شود.