Для этого условия "WHERE ID>5 AND ID<3" запроса, я вижу только такой смысл: все строки у которых ID<=5 - не удовлетворяет условию. В этом случае второе условие "ID<3" уже не будет проверяться, что в каком смысле оптимизирует запрос.
Однако если же ID>5, то проверятся второе условие, а так как второе условие противоречит первому, то это автоматически приводит к тому что все строки, у которых ID>5, также не удовлетворяет условию.
Отсюда вывод:запрос


всегда будет возвращать 0 строк, так как EXISTS всегда будет возвращать FALSE.

Поэтому слова "это вполне нормальное условие в WHERE condition
Просто такое множество не существует не только в базе но и в природе" могут воспиниматься только как параноидальный бред.

Единственный смысл я вижу только в том случае, когда значения 3 и 5 - это не конкрентные значения, а значения переменных привязки или подстановки, то есть критерии поиска, которые указывает пользователь, который иногда может задавать их некорректно. Признак которые говорил бы что при этих условиях не может существовать ни одной строчки - это просто - если вторая переменная меньше первой. Или определять разницу между вторым и первым числом и определять знак. Если "-" то и есть признак.