vacuous occurence

Мат. вырожденное вхождение