非空

fēikōng
(math.) (of a set) non-empty; (computing) (of a data structure) non-empty

CEDICT

Entry Composition