Predecessor

Property 6 (Existence of successor and predecessor): Every integer has a successor and a predecessor i.e.for every integer aa-1 and a+1 are integers which are known as predecessor and successor respectively.