Relation algebras for mereotopology