Włączenie (matematyka)
W matematyce włączenie jest zależnością między zbiorami. Mówimy, że zestaw A jest zawarty w zbiorze B, jeśli wszystkie elementy A są również elementami B. W tym przypadku A jest podzbiorem lub podzbiorem B, lub B jest nadmiernym, zbiór A. Związek ten nie jest symetryczny a priori, ponieważ mogą występować elementy drugiego zestawu, które nie należą do pierwszego zestawu. Dokładniej jest włączone w obu kierunkach między dwoma zestawami tylko wtedy, gdy te dwa zestawy są równe. Włączenie jest przeważnie zaznaczone symbolem "⊂" wprowadzonym przez Schrödera, chociaż wielu autorów rezerwuje ten symbol na ścisłe włączenie, a tym samym zgodnie z normą ISO. Włączenie w szerokim znaczeniu można następnie zauważyć z symbolem "⊆" Felixa Hausdorffa, analogicznie do liczbowych symboli porównawczych.