A topological groupoid over B is a groupoid G such that B and G are topological spaces and α, β, and multiplication are continuous maps. Here, α and β are maps from G onto B.

groupoid | topological space