SMS: Set-theoretic mereology