Forskjellen på «element i» og «delmengde av»
Test deg selv
Hvilke av følgende uttrykk er sanne?
Dette er sant siden alle elementer i den tomme mengden (som ikke inneholder noen
elementer) også er elementer i $\{ 3,a \}$. Den tomme mengden er en delmengde
av alle mengder.
Dette er usant siden den tomme mengden ikke er et av elementene i $\{ 3, a \}$
Dette er usant siden mengden $\{ 3, a \}$ ikke er et
element i mengden $\{ 3, a \}$.
Dette er sant siden alle elementer i mengden $\{ 3, a \}$ er elementer i
mengden $\{ 3, a \}$.
Sant siden mengden $\{ 3,a \}$ er et element i mengden $\{ \{ 3, a \} \}$.
Dette er usant siden elementene i mengden $\{ 3, a \}$ ikke er elementer i
mengden $\{ \{ 3, a \} \}$. Det eneste elementet i mengden $\{ \{ 3, a \} \}$
er mengden $\{ 3,a \}$.
Dette er usant siden den tomme mengden ikke er et element i den tomme mengden.
Dette er sant siden den tomme mengden er et element i mengden $\{ \emptyset \}$.
Dette er sant siden alle elementer i den tomme mengden (som ikke inneholder noen
elementer) også er elementer i den tomme mengden. Den tomme mengden er en
delmengde av alle mengder.
Test deg selv
Hvilke av følgende uttrykk gir ikke mening fordi de ikke kan tolkes ut fra våre definisjoner av «element i» og «delmengde»? Du skal ikke ta stilling til om uttrykkene er sanne eller ikke, bare om de er meningsfulle eller meningsløse ut fra hvordan vi har definert «element i» og «delmengde».
Dette er et meningsfullt uttrykk som uttrykker at $2$ er et element i mengden $\{ 2, 4, 6 \}$ (noe som også er sant).
Dette uttrykket gir ikke noe mening utfra hvordan vi har definert delmengde. Noe som ikke er en mengde kan ikke være en delmengde av en mengde. Siden vi ikke har definert hvordan slike uttrykk skal tolkes, har ikke uttrykket noen mening for oss.
Dette er et meninsgfullt uttrykk som utrykker at $\{ 1,2 \}$ er en delmengde av $\{ 2,3 \}$. Dette er et uttrykk vi kan tolke ved å bruke definisjonen av delmengde, og hvis vi gjør det kommer vi frem til at det er usant.
Dette er et meningsløst uttrykk. Tallet $5$ kan ikke være en delmengde av tegnet $b$, for hverken $5$ eller $b$ er mengder.
Dette er også meningsløst. Det som står på høyre side av $\in$-tegnet må være en mengde for at uttrykke skal være meningsfullt.