У меня есть класс PlannedComposition с двумя подклассами:
AsymmetricalCompositionSymmetricalComposition
Они закрыты с аксиома покрытия. Потому что конкретный дом может иметь только асимметричный или симметричный состав, но не оба.
Класс с частными лицами домов бывает двух типов - один из них симметричный, а другой - нет.
У меня вопрос: можно ли использовать универсальное ограничение в описании класса * 1018?* (симметричная композиция):
