Tekstiviesti: Set-theoretic mereology