Человек просто не может страдать дольше, чем он может страдать: исчерпав свои возможности, мы вольно или невольно переключаемся на другие дела, и это - величайшее из благ (с) Макс Фрай
вообще, описываю модель take-grant, нашел формулу, в ней знак есть непонятный. похож на "принадлежит", но может, это не он?


Он ставится между двумя множествами и читается "включено"
А "этот знак"В означает, что множество А включено в множество В, то есть А есть подмножество В (то есть часть его), то есть всякий элемент множества А является элементом множества В.
Черточка внизу означает, что включение нестрогое, то есть А в принципе с В может и совпадать