Ничто не мешает отрицательным числам, при некоторой конкретной формализации, быть "и там, и там".
Множество целых чисел можно упорядочить, т.е. задать правило, по которому для любой пары элементов a, b можно установить, а предшествует ли b или b предшествует a.
Что это означает "быть "и там, и там"?