Beispiel 115 Frage zu Antisymmetrie

[Daelin]

Hallo, ich habe gerade ein kleines verständnisproblem bei der aufgabe.
die lösung habe ich schon im vowi gefunden link, aber ich verstehe folgendes nicht ganz:

Antisymetrisch: Ja, denn https://vowi.fsinf.at/images/math/8/...59aeff128f.png

woher weiß ich dass B teilmenge A gegeben ist, in der angabe steht doch nur A teilmenge B??

[Eprom]

ich denk mal das liegt daran, dass A keine "echte" Teilmenge von B ist ... zumindest interpretiere ich den Output von dieser Wikipedia Seite so: http://de.wikipedia.org/wiki/Teilmenge (s. Definition)
Also wäre der Operator gegeben, dann dürftest du diese Annahme nicht treffen.

Gruß

[Daelin]

naja nur weil A keine echte teilmenge von B ist impliziert das doch noch lange nicht A = B :S

[dap]

woher weiß ich dass B teilmenge A gegeben ist, in der angabe steht doch nur A teilmenge B??

aus der Formel für die Antisymmetrie:

ARB <=> A teilmenge B (sprich die Relation ist über die Teilmenge definiert)
Antisymmetrie: ARB ^ BRA --> A = B also A Teilmenge B ^ B Teilmenge A --> A = B

oder ich versteh die frage nicht.