A relation that is transitive, symmetric, and reflexive. The concept is a convenient generalization or abstraction of equality. It covers most notions of equals, equivalence, and similarity as defined between triangles, algorithms, Boolean expressions, algebraic structures, statements, etc. See also equivalence class, partial ordering.
Subjects: Mathematics — Philosophy.