[Verse 1] In the great hall of mathematics where the sorting hat decides Every element must find its home, there's nowhere left to hide The Sorting Hat of equivalence reads each relation's spell "You belong with all your equals" is the story it will tell [Chorus] Every element gets sorted, no orphans left behind Each class holds perfect equals, relations well-defined Either identical or strangers, no overlap in sight The Sorting Hat partitions all, each house sealed up tight [Verse 2] If two classes share a member, here's the magical twist By equivalence they merge as one, they cannot coexist Alice and Bob's houses meet? Then houses become the same The partition law demands it, this is equivalence's game [Chorus] Every element gets sorted, no orphans left behind Each class holds perfect equals, relations well-defined Either identical or strangers, no overlap in sight The Sorting Hat partitions all, each house sealed up tight [Bridge] Proof by contradiction shows us why the magic works so well If classes A and B both claim young Charlie for their spell Then A equals B completely, not two houses but just one The Sorting Hat's great wisdom leaves no element undone [Verse 3] Reflexive means you know yourself, symmetric swaps with ease Transitive chains connect us all through equivalence's keys The Hat reads these three properties and sorts without mistake A perfect partition emerges from the choices that it makes [Final Chorus] Every element gets sorted, no orphans left behind Each class holds perfect equals, relations well-defined Either identical or strangers, no overlap in sight The Sorting Hat partitions all, the math works out just right [Outro] When equivalence relations rule, the universe divides Into houses neat and tidy where each element resides
← Cardinality via Functions | Schröder-Bernstein Theorem (The Matching Miracle) →