I was reading about this equivalence of labellings on a graph where they mentioned about a group equivalence as a product of an automorphism with a labelling. I don't understand what kind of product is this? I am unable to prove this an equivalence relation using the ordinary product of maps.