Doğal sayılar kümesi üzerinde "a ≤ b ancak ve ancak a = b ise" şeklinde tanımlanan bağıntı için aşağıdakilerden hangisi doğrudur?