Те условия, что указали Trurl и Info21 выполняются как для## Код:
```
x       y       x DIV y       x MOD y
 5     -3       -2              -1
-5     -3        1              -2
```
так и для## Код:
```
x       y       x DIV y       x MOD y
 5     -3       -1               2
-5     -3        2               1
```

Расписанные условия от albobin добавляют требование, что ненулевой остаток должен иметь тот же знак, что делитель.
Но ничто не объясняет почему.
Поскольку  изначальный смысл целочисленного деления - это разбивка на N равных частей, то отрицательное количество частей выглядит странно. Но возможно есть другой физический смысл?

Вопрос мой сугубо практический. Если отрицательный делитель не имеет практической ценности и не встречается в корректных, не замудренных программах, то хотелось бы исключить возможность такого деления, также, как и деления на ноль. Это может дополнительно позволить отлавливать некоторые ошибки на более ранней стадии. Если же есть какой-то не очевидный мне смысл в отрицательном делителе, то, конечно, оно должно быть позволено.