setoid
Look at other dictionaries:
Setoid — In mathematics, a setoid 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 … Wikipedia
Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… … Wikipedia
Groupoid — dablink|This article is about groupoids in category theory. For the algebraic structure with a single binary operation see magma (algebra). In mathematics, especially in category theory and homotopy theory, a groupoid is a simultaneous… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Partial equivalence relation — In mathematics, a partial equivalence relation (often abbreviated as PER) R on a set X is a relation which is symmetric and transitive . In other words, it holds for all a, b and c in X that:# (Symmetry) if a R b then b R a # (Transitivity) if a… … Wikipedia
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
equivalence relation — noun A binary relation that is reflexive, symmetric and transitive. See Also: equivalence class, setoid, ≡, equivalence relation … Wiktionary
