Sammengi

Venn-mynd af sammengi A og B (lesið „A sam B“)

Sammengi er í mengjafræði mengi allra staka tiltekinna mengja. Ef mengið er aðeins eitt er sammengið mengið sjálft. Sammengi mengjanna $A$ og $B$ er lesið „A sam B“ og táknað $A \cup B$. Formleg skilgreining er:

$i$ er stak í $A \cup B$ eff $i$ er stak í $A$ eða $B$.