ST_InteriorsIntersect(geometry, geometry)

[strk]

For finally naming a relation currently lacking a name (often confused with ST_Overlaps).

The relate pattern for this, as also written in the PostGIS Manual would be T** *** ***

See also #4867 for doing this at the topological level

[mdavis]

Having this as a separate named predicate might allow for some specific optimizations.

[mdavis]

This is a more general and useful test than ST_Overlaps (since ST_Overlaps does not detect the case when one geometry is covered by another, and it does not support mixed-dimension inputs).

It is the condition required to determine if a set of Polygons forms a non-overlapping coverage, or if a set of LineStrings forms a non-crossing linear network.

[strk]

Exactly, this is where I'm coming from. It's been suggested that we enhance AddTopoGeometryColumn to optionally add an exclusive constraint on areal tables to refuse overlaps for surfaces… (in this case we'd be using the TopoGeometry based one ticketed at #4867)