Universal correlations in finite posets (Q1065832)

Winkler proved a theorem giving a necessary and sufficient condition for universally correlated posets (A\(\uparrow B)\). In the paper an alteration to his proof is suggested and another condition equivalent to \(A\uparrow B\) is presented. Daykin defined universally negatively correlated posets (A\(\perp B)\) and suggested a condition for \(A\perp B\). In the paper a counterexample is presented and the correct condition for it is established. For a pair of posets \(A\downarrow B\) is defined and a necessary and sufficient condition for \(A\downarrow B\) is given. A constructive technique for listing all pairs (A,B) satisfying each of the relations \(A\uparrow B\), \(A\perp B\), and \(A\downarrow B\) is presented.