Within means that every point of geomA is a point of geomB, and the
interiors of the two geometries have at least one point in common.
As a consequence, the following are equivalent:
ST_Within(geomA, geomB) and ST_Within(geomB, geomA) are true.
ST_Equals(geomA, geomB) is true.
This function does not work on GEOMETRYCOLLECTIONs.
Implements the OpenGIS Simple Features Implementation Specification for
SQL version
1.2.1.
This predicate does not yet support spatial indices, but it will in a future release. Use it in conjunction with && operator. See here for more details.