Every non-empty discrete space is second category.
所有非空离散空间都是第二范畴。