https://blog.icepie.dev/2017/11/16/empty-set/