Reflexivität: Jede Menge ist Teilmenge von sich selbst ( Das ⊂ heißt doch wohl
Teilemenge und wird nicht von ⊆ unterschieden.
Also gilt für jede lin. Teilmenge S in V S⊂S also auch S≤S
Anti-Symmetrie: Ist bei Teilmengen immer gegeben S⊂S' und S'⊂S ==> S=S'
Transitivität S⊂S' und S'⊂S'' ==> S⊂S'' Auch das hat mit dem "lin. unabh."
nichts zu tun, also S≤S' und S'≤S'' ==> S≤S''