A transitive permutation group is a permutation group
acting on a set
with a single group orbit.
Equivalently, for every
, some
satisfies
.
Thus transitivity is a property of a particular permutation action, not only of the abstract group. Transitive permutation groups are also called transitive groups.