Equivalence relations

• How to Prove That a Function Is Well Defined
  To prove a function is well defined, check that every input has exactly one output in the codomain; for quotient sets, verify independence from the representative.