[Verse 1] Collections gather round us, objects in a crowd Elements are members, standing clear and proud Distinct means never doubled, each one gets its place Sets hold all these treasures in their mathematical space [Chorus] In or out, that's what it's about X belongs or doesn't, there's no room for doubt Curly braces hold them, roster style in line Builder notation filters by design Order never matters, repeats fade away Sets are just their elements, that's the only way [Verse 2] One two three in brackets, simple as can be Three one two in brackets, still the same you see Write it with some doubles, one one two and three Axiom of sameness, they're identical to me [Chorus] In or out, that's what it's about X belongs or doesn't, there's no room for doubt Curly braces hold them, roster style in line Builder notation filters by design Order never matters, repeats fade away Sets are just their elements, that's the only way [Bridge] Empty set contains nothing, void of every part Properties can filter what belongs from the start X such that condition builds the perfect frame Extensionality tells us when two sets are the same [Chorus] In or out, that's what it's about X belongs or doesn't, there's no room for doubt Curly braces hold them, roster style in line Builder notation filters by design Order never matters, repeats fade away Sets are just their elements, that's the only way [Outro] Collections pure and simple, mathematics made clear Every element matters when the picture appears
← Principle of Mathematical Induction (The Domino Chain) | Subsets and Power Sets →