Orderless

Orderless is an attribute that can be assigned to a symbol f to indicate that the elements ei in expressions of the form f[e1,e2,…] should automatically be sorted into canonical order. This property is accounted for in pattern matching. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.