Значение свойства хранится в поле класса FPosition. Чтобы изменить ее значение использовуется процедура SetPosition, параметром которой является новое значение.
Можно было написать
Код:
property Position : Cardinal read FPosition write FPosition default 0;
Но в данном случае нужна процедура для того чтобы проверить не больше ли записываемое значение максимального.