Definition

Given a group action on two sets and a function is called equivariant if