Все упирается в множество, на котором мы работаем.
На множестве положительных чисел нельзя вычесть из меньшего большее. На множестве целых чисел "не работает" во многих случаях деление. Точно такой же смысл а в запрете деления на ноль: на множестве действительных (и комплексных) чисел нет элемента для результата операции.
Есть проективная математика, в которой результат этой операции вводится, как специальный объект. Но это необходимо специально оговаривать. Такое множество чисел имеет специфические свойства и многие привычные теоремы там работать не будут.
Что касается пределов, то это все же ДРУГАЯ операция.