Tillhör

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2016-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Inom mängdteorin är tillhör ett grundläggande begrepp.

Ett element tillhör en mängd om mängden är definierad så att elementet beskrivs i definitionen. Det måste gå att avgöra för varje element om det tillhör mängden eller ej. Att elementet x tillhör mängden A skrivs ${\displaystyle x\in A}$. Att x inte tillhör mängden A skrivs x ∉ A.