Apartness relation

#	Item
1	Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1 Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Mathematics Equivalence relation Equivalence class Binary relation Transitive relation Mathematical logic Integer Cardinality Ternary equivalence relation Apartness relation
2	‘Ik kan ook al bijna rekenen, ik kan mooie poppetjes tekenen.’ ‘Lieve deugd’, zei de giraﬀe, Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:38 Mathematical constructivism Mathematical structures Topological spaces Apartness relation Metrization theorem Compact space Metric space Intuitionism Topology General topology Mathematics
3	Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 03:06:22 Elementary mathematics Type theory Ring theory Setoid Apartness relation Semiring Monad Equivalence relation Type class Mathematics Abstract algebra Algebraic structures
4	JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-20 06:53:49 Category Partial equivalence relation Morphism Apartness relation Setoid Functor Equivalence relation Cartesian closed category Total order Mathematics Category theory Abstract algebra