Sundurlæg mengi

Mengin A og B skarast ekki og eru því sundurlæg.

Sundurlæg mengi eru tvö eða fleiri mengi sem hafa engin sameiginleg stök, þ.e. sniðmengi þeirra er tómt. Skilgreining: Tvö mengi A og B eru sundurlæg þegar

$A\cap B=\varnothing .$

Mengin $\{1,2,3\}$ og $\{4,5,6\}$ er dæmi um tvö sundurlæg mengi.