英和和英

発音

形容詞

codisjoint (not comparable)

1. (set theory) Of two or more sets, having an union equal to the universal set.
2. (algebra) Of two or more elements in a lattice, having a join equal to the top element.
   • 2007, Thierry Lucas, “Axioms for Action”, in Logique et Analyse‎, volume 50, number 200, page 384:

     A word of caution however if you want to express the expected connections between these different supports. E.g., it is tempting to prove that ${\\\\displaystyle S_{0}^{=0}\\\\alpha }$ and ${\\\\displaystyle S_{0}^{=1}\\\\alpha }$ are codisjoint, i.e. that ${\\\\displaystyle S_{0}^{=0}\\\\alpha \\\\lor S_{0}^{=1}\\\\alpha =1.}$