Associative property inside functional dependancy
Yes.  AB in AB --> C really means A and B functionally determine C.  And, which is the truth functional operator of conjunction, is associative.  Section 4 of the linked article presents the algebraic properties of conjunction.  Therefore A and B is equivalent to B and A.