Англо-русский морской словарь
nonempty
Непустой
Англо-русский словарь морских терминов
nonelementary
nonempty subset