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