Operations on Partial Orders
We define analogues of Boolean operations on not necessarily complete partial orders, the height of an element as the maximal length of chains going from BOTTOM to that element, and use height to define probability measures.
READ FULL TEXT