We reconstruct étale groupoids from semigroups of functions defined upon them, thus unifying reconstruction theorems such as [Kum86] & [Ren08] Kumjian-Renault's reconstruction from a groupoid C*-algebra.[Exe10] Exel's reconstruction from an ample inverse semigroup.[Ste19] Steinberg's reconstruction from a groupoid ring.[CGT19] Choi-Gardella-Thiel's reconstruction from a groupoid L p -algebra.Given a groupoid G, we denote the source and range of any g ∈ G byWe denote the units of G by G 0 and the composable pairs by G 2 , i.e.We denote the bisections of G byEquivalently, B ⊆ G is a bisection precisely when, for all g, h ∈ G,Arbitrary subsets of G are denoted by P(G) = {X : X ⊆ G}.