Doğal sayılar kümesinde tanımlı "≤" sıralama bağıntısı düşünüldüğünde, en küçük doğal sayı hangi özelliği sağlar?