A topological groupoid is generalization of topological group where the binary operation is only partially defined. Ample groupoids are a special class of topological groupoid that have an especially well behaved topology. ...