A stronger notion of transitivity requires the anchor ( s , t ) : G → → M × × M to be a surjective submersion. Such condition is also called local triviality, because G becomes locally isomorphic (as Lie groupoid) to a trivial groupoid over any open U ⊆ ⊆ M (as a consequence of the local triviality of principal bundles).