Given an ergodic measured discrete equivalence relation 𝓡 and an ergodic subrelation 𝒮 ⊂ 𝓡 of finite index, C. Sutherland showed that they are represented by the cross products 𝓟 ⋊αG and 𝓟 ⋊αH of ...