There is a set with no members

By (Ext) it is unique. We denote it by