Գրեք սա: Set-theoretic mereology