公理的集合論では要素をもたないものは空集合∅だけだが、
コンピュータなどで実装するなら要素をもたないものを一番階層の低い型のオブジェクトとしたほうが都合がいい