Einschluss (Mathematik)
In der Mathematik ist die Einbeziehung ein Verhältnis der Ordnung zwischen den Sätzen. Wir sagen, dass ein Satz A in einem Satz B enthalten ist, wenn alle Elemente von A auch Elemente von B sind. In diesem Fall ist A eine Teilmenge oder eine Teilmenge von B oder B ist über- Satz von A. Diese Beziehung ist nicht symmetrisch a priori, weil es Elemente des zweiten Satzes geben kann, die nicht zum ersten Satz gehören. Genauer gesagt, gibt es in beide Richtungen zwischen zwei Sätzen, wenn und nur wenn diese beiden Sätze gleich sind. Die Einbeziehung ist zumeist mit dem von Schröder eingeführten Symbol "⊂" gekennzeichnet, obwohl viele Autoren dieses Symbol einer strengen Einbeziehung vorbehalten und damit dem ISO-Standard entsprechen. Die Einbeziehung im weitesten Sinne kann dann mit dem Symbol "⊆" von Felix Hausdorff, analog zu numerischen Vergleichssymbolen, vermerkt werden.