Идентификатор автоматического приращения класса C #

Я создаю на C # класс под названием «Робот», и каждому роботу требуется уникальное свойство идентификатора, которое дает ему идентификацию.

Есть ли способ создать автоматический инкрементный идентификатор для каждого нового объекта класса? Итак, если я создал 5 новых роботов, их идентификаторы будут соответственно 1, 2, 3, 4, 5. Если я затем уничтожу робота 2 и создам нового робота позже, он будет иметь идентификатор 2. И если я добавлю Шестой он будет иметь ID 6 и так далее ..

Спасибо.