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 . Att x inte tillhör mängden A skrivs x ∉ A.