Die Bedingung könnte man noch ein bisschen zusammenfassen:
(Im > - 4) ∧ (Im < - |Re| - 1)
Das wäre das Innere des Dreiecks (ohne Randlinie). Mit Randlinie natürlich die "schwachen" Ungleichungen ≥ und ≤ anstatt > und < .
Und natürlich ist das dann nicht "die Mengenlehre von dem Dreieck" sondern eine Beschreibung der entsprechenden Punktmenge in der Gauß-Ebene mittels Ungleichungen.