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
Mengin { 1 , 2 , 3 } {\displaystyle \{1,2,3\}} og { 4 , 5 , 6 } {\displaystyle \{4,5,6\}} er dæmi um tvö sundurlæg mengi.
