В языке программирования C# модификатор setinit можно использовать для ограничения доступа к set-аксессору свойства. Присутствие модификатора setinit указывает, что свойство можно установить только при инициализации или внутри самого класса (в случае, когда на него есть доступ).
Однако, required свойство, определенное в интерфейсе или абстрактном классе, не может иметь более ограничивающий модификатор setinit, чем модификатор класса, который его реализует. Это сделано для поддержки принципа подстановки Лисков (Liskov substitution principle).
Принцип подстановки Лисков гласит, что объекты должны быть заменяемыми своими подтипами. Другими словами, если класс реализует интерфейс или наследует абстрактный класс, то его экземпляр должен быть полностью совместим с использованием согласованного интерфейса или абстрактного класса.
Ограничение required свойства может быть нарушено, если модификатор setinit более ограничивающий, чем модификатор класса, который его реализует. Класс, который реализует интерфейс или наследует абстрактный класс с required свойством, может установить доступ к set-аксессору с более широким модификатором, который может нарушить ожидаемые контрактные условия интерфейса или абстрактного класса.
В результате, C# не позволяет использование более ограничивающего модификатора setinit, чем модификатор класса, с целью обеспечить согласованность контракта и поддерживаемость принципа подстановки Лисков. Это помогает гарантировать, что все экземпляры класса, реализующего интерфейс или наследующего абстрактный класс, будут соответствовать ожидаемым условиям, заданным в интерфейсе или абстрактном классе.