A group action π:πΊΓπβπ is said to be transitive iff for every π,πβ²βπ there exists πβπΊ such that π(π,π)=πβ². group
Equivalent statements include
the orbitπΊπ of any point π is the entire space π