Definition
In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. This field is related to Spatial-Temporal Reasoning, Region-Connection Calculus, and Mathematical Morphology.
Related concepts
A. N. WhiteheadAchille Varzi (philosopher)Algebraic structureAntisymmetric relationAtomic formulaAxiom of extensionAxiom of extensionalityBarry Smith (ontologist)BiconditionalBinary relationBound variableBoundary (topology)Closure operatorComputer scienceConnected spaceContact (mathematics)Contact algebraConversion (logic)Domain of discourseDuality (mathematics)First-order logicFirst-order theoryFormal ontologyIdempotenceInclusion (set theory)IndividualInterior (topology)Interior operatorIsomorphicKarl MengerKuratowskiLattice (order)LogicMachine intelligenceMathematical morphologyMereologyMetaphysicsMichel WeberModel theoryOntology (computer science)Partial orderPerfectly normal Hausdorff spacePoint-free geometryPoint-set topologyPointless topologyPredicate (mathematical logic)PreorderProcess and RealityReflexive relationRegion Connection CalculusRegion connection calculusRelation (mathematics)Spatial-temporal reasoningSpatial–temporal reasoningStanford Encyclopedia of PhilosophySubstringSymmetric relationSynonymT0 spaceTheodore de LagunaTopologicalTopological spaceTopologyTransitive relationUniversal quantifierWhitehead's point-free geometry
8 concepts already in your glossary