There are two notions of amenability for discrete equivalence relations. The \global" amenability (which is usually referred to just as \amenability") is the property of existence of leafwise invariant means, which, by a theorem of Connes{Feldman{Weiss, is equivalent to hyperrniteness, or, to being the orbit equivalence relation of a Z-action. The notion of \local" amenability applies to equiva...