Beweis i. O.

[Matti Mäkitalo]

Hi,

Aber wie schreibe ich das dann in einen typischen Beweis-Einzeiler um?

so ähnlich wie ottogal dachte ich auch beim Lesen deines Beitrags: der entscheidende Sprung  von der ersten zur zweiten Voraussetzung ist nur implizit enthalten, aber dieses implizit Fehlende ist genau das, was den Beweis ausmacht.

Die Kurzform wäre sowas wie:
A⊂B => ∀y∈A: y∈B => (da B⊂C) ∀y∈A: y∈C => A⊂C

Bis die Tage,
Matti