Properly proximal countable measured groupoids

We introduce the notion of proper proximality for countable measured groupoids, extending the corresponding notion for countable groups. We prove that this groupoid property is equivalent to a strengthened form of relative proper proximality for the associated groupoid von Neumann algebra. We investigate permanence properties and show, in particular, that proper proximality is preserved under finite direct products, formation of transformation groupoids, and measure equivalence. We also identify broad classes of properly proximal groupoids, including transverse measured groupoids and free product groupoids, and prove that inner amenable groupoids are never properly proximal.