# Tutorial: setoids A _setoid_ is a type equipped with an equivalence relation Example1 : Nat
Example1 = 0