In
philosophy and
mathematical logic,
mereology (from the Greek μέρος, root: μερε(σ)-, "part" and the suffix -logy "study, discussion, science") is the study of parts and the wholes they form. Whereas
set theory is founded on the membership relation between a set and its elements, mereology emphasizes the
meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of
inclusion between
sets.