P(A, B) = P(A, B)

P(A)P(B|A) = P(B)P(A|B)

P(B|A) = P(B)P(A|B)/P(A)

Thanks for your blog posts. I’m a fan of your lucid writing style. I was wondering, doesn’t any of this (in particular the main theorem) assume that these posets are complete lattices?

]]>