در ریاضیات یک اتحاد یک رابطه برابری A = B است که A و B شامل تعدادی متغیر هستند و A و B، فارغ از اینکه متغیرهایشان چه مقادیری (معمولاً عددی) میگیرند، مقادیر یکسانی را تولید میکنند. به عبارت دیگر A = B اتحاد است اگر A و B توابع یکسانی را تعریف کنند. این به این معنی است که یک اتحاد، یک برابری بین توابعیست که متفاوت تعریف شدهاند. برای مثال (a + b)۲ = a۲ + ۲ab + b۲ و cos۲(x) + sin۲(x) = ۱