Zu (iv) ist mir auch noch ne Idee gekommen:
Angenommen es ist weder 〈A〉 ⊆ 〈B〉 noch 〈B〉 ⊆ 〈A〉
==> Es gibt ein x ∈ 〈A〉 und x ∉ 〈B〉 ( weil 〈A〉 ⊆ 〈B〉 falsch ist ) #
und Es gibt ein y ∈ 〈B〉 und y ∉ 〈A〉 ( weil 〈B〉 ⊆ 〈A〉 falsch ist ). ##
Dann sind sowohl x als auch y in 〈A〉 ∪ 〈B〉 ,
wegen 〈A ∪ B〉 = 〈A〉 ∪ 〈B〉 also sowohl x als auch y in 〈A ∪ B〉
Da 〈A ∪ B〉 ein Unterraum ist, also auch x+y in 〈A ∪ B〉 .
Wegen 〈A ∪ B〉 = 〈A〉 ∪ 〈B〉 ) also
x+y ∈ 〈A〉 oder x+y ∈ 〈B〉
Weil 〈A〉 ein Unterraum ist, der x+y und x enthält, folgt
x+y-x = y ∈ 〈A〉 im Widerspruch zu ##.
oder: Weil 〈B〉 ein Unterraum ist, der x+y und y enthält, folgt
x+y-y = x ∈ 〈B〉 im Widerspruch zu #.
Somit führen die Annahmen # und ## jeweils zu einem
Widerspruch, also sind beide falsch, somit gilt
〈A〉 ⊆ 〈B〉 oder 〈B〉 ⊆ 〈A〉.