Definition talk:Faithful Group Action

There are issues with this definition. It is not clear how $s_1$ and $s_2$ are quantified. Either way, it cannot be that faithful means $*$ is injective. --barto (talk) 09:36, 18 March 2017 (EDT)