The action of a group $G$ on the set $X$ is transitive if for every pair $x,y \in X$, there exists $g\in G$ such that $g\cdot x=y$.