ОДЗ - это область допустимых значений переменной, данное понятие используется при решении уравнений, неравенств, упрощении выражений. Тут речь идёт о тех значениях переменной, при которых уравнение, неравенство или выражение имеет смысл. Когда мы говорим о функции, допустимые значения аргумента называются областью определения функции, тут следует использовать D(y).