The following pages link to Claim:A/R partitions A:
View (<math>1 {{int:pipe-separator}} </math>2) (20 | 50 | 100 | 250 | 500)- FA18:Lecture 11 relations (← links)
- FA18:Lecture 11 equivalence (transclusion) (← links)
- Equivalence class (← links)
- Proof:A/R partitions A (transclusion) (← links)
- SP20:Lecture 11 Equivalence classes (transclusion) (← links)
- Proof:⟦a⟧=⟦b⟧ if and only if aRb (← links)