J. D. Hamkins and M. Kikuchi, “Set-theoretic mereology”, LLP, vol. 25, no. 3, pp. 285–308, May 2016.