Zaslat SMS: Set-theoretic mereology