{"version":"1.0","type":"link","title":"Setoid - Newikis","description":"In mathematics, a setoid (X, ~) is a set (or type) X equipped with an equivalence relation ~. A setoid may also be called E-set, Bishop set, or extensional set.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}