Инвариант
Программный объект, не изменяющийся в процессе выполнения
программный объект
иркутская область