SMS dit: Set-theoretic mereology