V>>>Ящик может быть без состояния. σ>>Это называется тривиальный/вырожденный случай.
V>Но на этом история не заканчивается — ящик может содержать неизменяемое состояние, влияющее на его неизменяемое поведение, заданное при конструировании ящика. V>Это тоже вырожденный случай?
Нет.
V>Но на этом история опять не заканчивается — ящик может содержать неизменяемое "личное" состояние, но ссылаться на объекты с изменяемыми состояниями.
Так. И?
V>Слишком много вырожденных случаев, показывающих слабость первоначальной формулировки, не находишь? ))