When the space G is second countable, transitivity implies local triviality. Accordingly, these two conditions are equivalent for many examples but not for all of them: for instance, if Γ Γ is a transitive pseudogroup, its germ groupoid G e r m ( Γ Γ ) is transitive but not locally trivial.