Andrew Krizhanovsky todo Теорема  almost 8 years ago

Commit id: 2f017bd4c629b9f03a7f90825559d2e1461946da

deletions | additions      

       

Легко видеть, что если $v \in Int S$, то $rank\ (v) = 2^{|S|-2}-1$ -- это число всех непустых дизъюнктных разбиений $(|S|-1)-$элементного множества $S\setminus \{v\}$, т.е. $rank\ (v)$ максимален и совпадает с числом Стирлинга второго рода: $\textstyle \lbrace{n\atop k}\rbrace = \lbrace{|S|\atop 2}\rbrace$, где n~--- мощность разбиваемого множества, а k~--- число подмножеств, здесь два.  -----------------  todo Теорема  Сформулируем взаимосвязь понятий внутренность синсета и ранг синонима в синсете в виде теоремы.