همخلیدگی همچنین شناخته شده با: تداخل برابر انگلیک (انگلیسی): subalternation دیسهای ∀α 𝜙α ⊃ ∃α 𝜙α∀α 𝜙α ⊃ ∃α 𝜙α