Sundurlæg mengi
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  og  er dæmi um tvö sundurlæg mengi.

Mengjafræði