StevenXClontz’s Twitter Archive—№ 3,610

@mleingang A list is a function from a finite ordinal to a set. So the empty list is a function from 0={} to a set. And since a function is just a set of ordered pairs (@matthematician lol) the empty list is the empty function is the empty set.