Matches in DBpedia 2015-10 for { ?s ?p "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality)."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Setoid comment "In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality).".