non-empty

Adjective

not-comparable

(set theory) Of a set, containing at least one element; not the empty set.

Japanese Meaning

(集合論において) 空集合ではなく、1つ以上の要素を含む状態

If A and B are non-empty sets, their Cartesian product is also non-empty.

集合Aと集合Bが非空であれば、それらの直積も非空です。

Sense（1）

(set theory) Of a set, containing at least one element; not the empty set.