Equivariance can be formalized using the concept of a G -set for a group G. This is a mathematical object consisting of a mathematical set S and a group action (on the left) of G on S. If X and Y are both G -sets for the same group G, then a function f : X → Y is said to be equivariant if