تابع متقارن

در ریاضیات، تابعی از n متغیر، متقارن یا همامون است اگر مقدار آن در هر n-تایی از آرگومان ها (جایگشت مختلف از n-تایی ها) یکسان باشد. بنابراین، اگر f ( x ) = f ( x 1 , x 2 , x 3 )، تابع می تواند روی همه متغیرهایش یا تنها روی (x1,x2)، (x2,x3) یا (x1,x3 ) نامتقارن باشد.
برای تابع