bn:00772357n
Noun Concept
Categories: Order theory
EN
strong antichain
EN
In order theory, a subset A of a partially ordered set P is a strong downwards antichain if it is an antichain in which no two distinct elements have a common lower bound in P, that is, ∀ x, y ∈ A [ x ≠ y → ¬ ∃ z ∈ P [ z ≤ x ∧ z ≤ y ] ]. Wikipedia
Definitions
Sources
EN
In order theory, a subset A of a partially ordered set P is a strong downwards antichain if it is an antichain in which no two distinct elements have a common lower bound in P, that is, ∀ x, y ∈ A [ x ≠ y → ¬ ∃ z ∈ P [ z ≤ x ∧ z ≤ y ] ]. Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections