Relationen der Form A ⊆ B → C

Question

kann mir jemand eine Relation der Form A ⊆ B → C erklären? Warum und wie ist denn das eine Relation?

Answer 1

Das ist eine Beziehung zwischen zwei Aussagen. Sie heißt "impliziert" oder "wenn,...dann". Und das mathematische Wort für "Beziehung" ist "Relation".

Wähle A=Menge der Geraden Zahlen, B=Menge der natürlichen Zahlen und C="Es gibt gerade natürliche Zahlen".

Die Aussagen sind dann "A ist Teilmenge von B" und "Es gibt gerade natürliche Zahlen".Die Relation zwischen ihnen ist "daraus folgt".