Die Definition von Seitenfläche, die verwendet wird ist:
Sei P ⊆ ℝ^n ein Polyeder. Eine Ungleichung c^Tx ≤ a heißt gültig (mit c ∈ ℝ^n, a ∈ ℝ) für P, wenn P ⊆ {x ∈ ℝ^n: c^Tx ≤ a}.
Eine Menge F heißt Seitenfläche von P, wenn es für P eine gültige Ungleichung c^Tx ≤ a gibt, so dass F = P ∩ {x ∈ ℝ^n: c^Tx = a}.
P und die leere Menge sollen triviale Seitenflächen sein. Außerdem soll jede Seitenfläche eines polyeders wieder ein polyeder sein.
Wenn ich das richtig sehe, wären nach dieser Definition die Seitenflächen auch für das Beispiel oben Flächen und keine Strecken oder?