Please visualize the loop as well on the square. Let $G$ be a path connected topological group. Given two loops $,$ based at $e$ in $G.$ Defined a map

$F$:$[0,1][0,1]G$ by $F(s,t)=(s)*(t),$ where $*$ denotes multiplication in $G.$