Module intersects 

ST_Intersects — two geometries share any space (interior or boundary).

Inverse of ST_Disjoint. A point on a polygon’s edge DOES intersect (unlike ST_Contains where it does not). This is the most commonly used spatial predicate.

Implementation: bbox pre-filter → exact geometry test.

Functions

st_intersects

ST_Intersects(a, b) — do geometries A and B share any space?