mereology
в философии и матемачиской логике - учение об отношениях между частью и целым и об отношениях между частями целого.