VDict - Definition of equivalence relation

search result for equivalence relation in Computing (FOLDOC) dictionary

equivalence relation equivalence class partial equivalence relation relation total ordering real number PER transitive strongly connected component reflexive logical relation projective plane transitive closure constraint inductive relation difference equation equivalence class partitioning observational equivalence partial ordering extensional equality Calculus of Communicating Systems eta conversion Modula-3 ALGOL 68 Modula-2 Class-Relation Method Objecteering directed set foundation Boolean algebra biff tuple calculus pre-order Procedural Language/SQL negation by failure incomparable PP96 complete partial ordering functional dependency ordering upper bound P-Prolog Paralation isomorphism workflow antisymmetric Classless Inter-Domain Routing Multiprotocol Label Switching Reflexive transitive closure symmetric complete lattice Concrete Data Structure relevance electromigration first-order logic Neutrosophy referential transparency switch statement data model domain theory Ada Pascal Real Programmers Don't Use Pascal