- Mengjamismunur
Mengjamunur
Mengjamunur tveggja mengja A og B er mengi þeirra staka sem eru í A en ekki í B. Þetta mengi er táknað með A∖B (lesið: A án B) og það má rita á forminu
A∖B={x∈A∣x∉B}.
Óformlega má segja að mengjamunurinn A∖B sé sá hluti mengisins A sem er utan mengisins B og á Venn-myndinni hér að neðan er hann litaður rauður.
Fyrir öll mengi A og B má rita mengjamuninn A∖B sem sniðmengi A og fyllimengis B, þ.e. A∖B=A∩Bc. Jafnframt gildir fyrir öll mengi A að A∖∅=A og A∖A=∅.
Dæmi: Ef A={1,3,5,7} og B={2,3,5,6}, þá er A∖B={1,7}.
Dæmi: Ef A={…,−3,−2,−1,0} og B={0,1,2,3,…}, þá er A∖B={…,−3,−2,−1}.