• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Setoid

 
A setoid is defined by a set A along with a relation ~A and the proof that ~A is an equivalence relation (namely the proofs of reflexivity, transitivity and symmetry of ~A).

It is used in proof theory.

This article is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].



Read more »

Topics: Setoid, Guides, Tutorials...

SetoidA setoid is defined by a set A along with a relation and the proof that is an equivalence relation (namely the proofs of reflexivity, transitivity and symmetry of . It is used in proof theory.  
Non User