Tipps zu Aufgabe 5.2 (SoSe 12)

Wie zeigt man, dass eine Menge 1 (hier $\overline{AB}$) Teilmenge von einer Menge 2 (hier $\overline{AC}$) ist?
Man muss zeigen, dass alle Elemente der Menge 1 auch zur Menge 2 gehören.
Also hier ist zu zeigen, dass $\mathrm{\forall }X\in \overline{AB}$ gilt: $X\in \overline{AC}$

Nutzen Sie nun die Definition von Strecke...