Я ее открыл и закрыл (я тупенький для этого) но говорят это отличный инструмент анализа свойств систем
Но я не понял, для чего ты про неё вспомнил? Как это связано со свойством идемпотентности чисел как констант, или переменных значений функций? Или ты просто бравировал терминологией?