Manuscript En01-A@1 · En01-A.tex · corollary · 558b972b

Corollary: Agreement is not union-closed

Exact operator cancellation with unchanged scalar data · lines 2028–2043 · proof included or linked

En01-A@1#cor:union

At $θ = π$ ,

δ_{{1}} (K_{1}) = 0, δ_{{1}} ({A}) = 0, δ_{{1}} (K_{1} \cup {A}) = \frac{1}{2} .

Thus $D_{{1}}$ is a down-set but not closed under unions.

Proof. The first and third values were proved above. On ${A}$ , inaccessible $K_{1}$ screens every split pair.

Displayed formulas in this passage

unlabeled · line 2030
$δ_{{1}} (K_{1}) = 0, δ_{{1}} ({A}) = 0, δ_{{1}} (K_{1} \cup {A}) = \frac{1}{2} .$