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