Okay, given a function for a group action of the group G acting on a set A (with a fixed point a of A): . One definition I have for the kernal is . But the definition in the group action section is that . Are these somehow equivalent? I don't see it.