La méréologie (du grec ancien μέρος, « partie » ; ou mérologie) est une collection de systèmes formels axiomatiques qui traitent des relations de partie : entre la partie et le tout, ainsi qu’entre les parties d’un même tout. La méréologie est à la fois une application de la logique des prédicats et une branche de l’ontologie, en particulier de l’ontologie formelle.