You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
Templates used on this page:
- A mod R (view source)
- Defining functions from A/R to X (view source)
- Equivalence class (view source)
- Partition (view source)
- Representative (view source)
- Template:Claim (view source)
- Template:Def (view source)
- Template:Proof (view source)
- Claim:A/R partitions A (view source)
- Proof:A/R partitions A (view source)
- Example:Families are equivalence classes (view source)
- Example:Java .equals and .hashCode (view source)
- Definition:A mod R (view source)
- Definition:Equivalence class (view source)
- Definition:Partition (view source)
- Definition:Representative (view source)
Return to FA18:Lecture 11 equivalence.