Mereotopology Mereotopology The formal theory for parthood and connection relations is called mereotopology Mereotopology, built on mereology and some elements of topology,…