Definition:Equivalence


 * Logical Equivalence
 * Set Equivalence