Definition:Equivalence


 * Logical Equivalence, which occurs in symbolic logic as:
 * Semantic Equivalence
 * Provable Equivalence
 * Set Equivalence
 * Row Equivalence
 * Equivalence Relation