The group action is transitive if and only if it has exactly one orbit, that is, if there exists x in X with G ⋅ x = X. This is the case if and only if G ⋅ x = X for all x in X (given that X is non-empty).