Beweis i. O.

[Gunnar Bittersmann]

@@ungelöst:

nuqneH

A⊂B ∧ B⊂C ⇔ ∀x∈A: x∈B ∧ ∀x∈B: x∈C ⇒ ∀x∈A: x∈C ⇔ A⊂C

Sieht OK aus, IMHO.

Bin mir unsicher über:
⇔ ↔
⇒ →

Dann benutze doch nur ⇒; die Behauptung ist doch auch nur in eine Richtung.

Qapla'