Mengi
- Author:
- Alexander Jósep Hood
Skilgreining á Mengjum
Mengi er safn ólíkra hluta sem eru kallaðir stök mengisins.
Táknið # í mengjum
Táknið # eða myllumerki táknar fjöldatölu mengis og segir til um fjölda staka í mengi.
Hlutmengi
Ef mengi A inniheldur öll stökin sem eru í mengi B þá er B sagt vera hlutmengi í A
Þetta er táknað:
táknar að A er ekki hlutmengi í B
Tómamengið
Tóma mengið hefur ekki neitt stak og tákn þess kann að líta svona út:
Skilgreining
Ef X er stak í A þá er það táknað svona:
Ef X er ekki stak í A þá er það táknað svona:
Venn myndir
Venn mynd er myndræn framsetning mengja og tengsla þeirra á milli.