一、精确相等（ST_OrderingEquals）

精确相等是通过按顺序逐个比较两个几何图形的顶点来确定的，以确保它们在位置上是相同的。

二、空间相等（ST_Equals）

精确的相等（ST_OrderingEquals）并没有考虑到几何图形的空间性质。有一个名为ST_Equals的函数，可用于测试几何图形的空间相等性或等价性。

三、包围框相等（~=）

在最坏的情况下，需要精确相等来比较几何图形中的每个顶点以确定相等。这可能会比较慢（计算量比较大），并且可能不适合数量很多的几何图形。为了更快地进行比较，提供了包围框（bounding box）相等运算符 ' ~= ' 。这仅在包围框（矩形）上操作，确保几何图形占用相同的二维范围，但不一定占用相同的空间。