Mereologia jest to trzeci z tzw. systemów Leśniewskiego (obok prototetyki i ontologii), dla którego prototetyka i ontologia są systemami wcześniejszymi.

Mereologia jest teorią stosunku części do całości - przyjmuje się również, że jest to teoria zbioru i klasy w znaczeniu kolektywnym. Mówiąc nieco bardziej formalnie jest to teoria zbiorów z przechodnią relacją 'należenia do'. Zbiór w sensie kolektywnym (jego przeciwieństwem jest zbiór w sensie dystrybutywnym, czyli klasa) określić można tak: Zbiór X-ów jest to pewna całość, na którą składają się poszczególne X-y. Obrazując to powiedzieć można np., że odpowiednio zgromadzone w bezpośrednim sąsiedztwie cegły tworzą dom, lub zgromadzone w bezpośrednim sąsiedztwie ziarnka piasku tworzą kupę piasku. Wyrażając się nieco mniej precyzyjnie powiedzieć można, że zbiór jako całość jest sumą swoich elementów.