Let be a group Suppose we have Group actions of on and An equivariant map satisfies

for all and