Sammengi

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

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

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