Every non-empty discrete space is second category.
Mọi không gian rời rạc không trống là thuộc loại thứ hai (second category).