For any Group G and a Group Action on set X, the action is transitive if Ox=X for all x∈X. In other words, it's transitive if the Orbits are all the larger set.