What is the precise meaning of the term 'tautological action' as used for example in this Wikipedia page in the context of semigroup actions?
For reference the particular sentence is: "A transformation semigroup of a set has a tautological semigroup action on that set. Such actions are characterized by being effective, i.e., if two elements of the semigroup have the same action, then they are equal."