如果給定的Geometry對象A完全在對象B之內，則返回True。
文法
boolean ST_Within(geometry A , geometry B);參數
| 參數名稱 | 描述 |
| A | 第一個Geometry對象。 |
| B | 第二個Geometry對象。 |
描述
- 為使此函數有意義，兩個Geometry對象必須都具有相同的投影方式，且具有相同的空間參考（SRID）。
- 如果ST_Within(A,B)為True且ST_Within(B,A)為True，則認為這兩個Geometry對象在空間上相等。
- 該函數不支援GeometryCollection類型對象作為輸入參數。
- 不能將該函數用於無效的Geometry對象，否則將得到錯誤的輸出結果。
- 該函數會自動產生一個bounding box，用於使用幾何對象上的索引。如果不想使用索引，請使用函數_ST_Within。
樣本
SELECT ST_Within('POLYGON((1 1,1 2,2 2,2 1,1 1))'::geometry,'POLYGON((0 0,0 3,3 3,3 0,0 0))'::geometry);
st_within
-----------
t
(1 row)