Stav dette: Set-theoretic mereology