$\emptyset\in\top$