“…Note that, for an element ∈ of a lower set, ∖ { } is a lower set, iff ∈ max . So, we obtain a collection of cones indexed by pairs ( , ) of a lower subset ⊆ and a function : max → 2 := {0, 1}, where According to [4], one can define four types of products (join, sum, direct product, topological product) for a family ( ) ∈ of abstract polytopes taking a Cartesian product of undelying posets for , > , < , and <> , respectively. The construction − turns the coproduct into a direct product and the ordered sum to an ordered sum: Proposition 3.…”