Text this: Set-theoretic mereology