Где я должен проверить исключение состояния / выброса?

Моя ситуация примерно такая:

class AbstractClass:
    def __init__(self, property_a):
        self.property_a = property_a

    @property
    def some_value(self):
        """Code here uses property_a but not property_b to determine some_value"""

    @property
    def property_a(self):
        return self.property_a

    @property
    def property_b(self):
        """Has to be implemented in subclass."""
        raise NotImplementedError


class Concrete1(AbstractClass):
    """Code here including an implementation of property_b"""


class Concrete2(AbstractClass):
    """Code here including an implementation of property_b"""

Также существует условие, что если property_b меньше, чем property_a, то property_a недействителен и, следовательно, результат some_value также недействителен.

Я имею в виду, что ... если в любой момент времени существования объекта вызов property_b даст число меньше, чем вызов property_a, возникнет проблема. Однако свойство property_b не является полем . Он определяется динамически на основе полей n , где n > = 1. Невозможно проверить это условие при установке property_b, потому что само property_b никогда не устанавливается. На самом деле, сеттеры не предполагается использовать где-нибудь здесь. Все поля, скорее всего, будут установлены в конструкторах, а затем оставлены в покое. Это означает, что property_a будет известен в конструкторе для AbstractClass и property_b только после оценки конструктора для конкретных классов.

<обновление>
Основная проблема заключается в следующем: мне нужно проверить property_a на валидность, но когда установлено property_a (наиболее интуитивно понятное место для проверки), property_b не определено.

Я хочу убедиться, что property_b никогда не будет меньше, чем property_a. Как мне с этим справиться?

Проверить property_a на property_b в ...

1. AbstractClass.__init__. На самом деле это невозможно, потому что property_b еще не определен.
2. AbstractClass.property_a. Это кажется проблематичным, потому что я выбрасываю исключение в геттере.
3. Каждая конкретная реализация property_b. Я бы не только генерировал исключение в геттере, но и дублировал код. Также property_b логически не зависит от property_a.
4. AbstractClass.some_value. Это по-прежнему вызывает исключение в получателе. Кроме того, логически невозможно, чтобы property_b было меньше, чем property_a все время , не только при попытке определить some_value. Кроме того, если подклассы решат добавить другие свойства, зависящие от property_a, они могут забыть сверить его с property_b.
5. Бетоноукладчики для property_b. Такого не существует. property_b иногда определяется из значения, установленного в конструкторе, иногда вычисляется из нескольких значений. Также дублирование кода.
6. Конкретные методы класса __init__. Дублирование кода. Кто-то может забыть.
7. ???

ОБНОВЛЕНИЕ

Я думаю, что путаницу вызывает то, что property_b - это не просто поле. property_b полагается на расчеты. Это действительно больше функция, чем свойство, если это помогает думать об этом таким образом.