束の分配不等式の証明が少し調べたところ見つかりにくかった（というより日本語では見つけられなかった）ので、書いておこうと思います。 そもそも、束の分配不等式とは何かというと、任意の束の任意の元A,B,Cについて、 が成り立つ、というものである。これ…