Relaciones siempre y alguna vez

eContains({geometry,tquadbin},{geometry,tquadbin}) → boolean
aContains({geometry,tquadbin},{geometry,tquadbin}) → boolean
eCovers({geometry,tquadbin},{geometry,tquadbin}) → boolean
aCovers({geometry,tquadbin},{geometry,tquadbin}) → boolean
eTouches({geometry,tquadbin},{geometry,tquadbin}) → boolean
aTouches({geometry,tquadbin},{geometry,tquadbin}) → boolean
eDisjoint({geometry,tquadbin},{geometry,tquadbin}) → boolean
eDisjoint({geography,th3index},{geography,th3index}) → boolean
eDisjoint({geography,ts2cell},{geography,ts2cell}) → boolean
aDisjoint({geometry,tquadbin},{geometry,tquadbin}) → boolean
aDisjoint({geography,th3index},{geography,th3index}) → boolean
aDisjoint({geography,ts2cell},{geography,ts2cell}) → boolean
eIntersects({geometry,tquadbin},{geometry,tquadbin}) → boolean
eIntersects({geography,th3index},{geography,th3index}) → boolean
eIntersects({geography,ts2cell},{geography,ts2cell}) → boolean
aIntersects({geometry,tquadbin},{geometry,tquadbin}) → boolean
aIntersects({geography,th3index},{geography,th3index}) → boolean
aIntersects({geography,ts2cell},{geography,ts2cell}) → boolean
eDwithin({geometry,tquadbin},{geometry,tquadbin},float) → boolean
eDwithin({geography,th3index},{geography,th3index},float) → boolean
eDwithin({geography,ts2cell},{geography,ts2cell},float) → boolean
aDwithin({geometry,tquadbin},{geometry,tquadbin},float) → boolean
aDwithin(th3index,th3index,float) → boolean
aDwithin(ts2cell,ts2cell,float) → boolean

Una relación de una celda es la de su frontera, tal como la devuelve cellToBoundary, y cada malla se relaciona en la única lectura que expresa sus celdas exactamente. Una tesela QUADBIN está delimitada por meridianos y paralelos, que son rectas en longitud y latitud, de modo que un tquadbin se relaciona a través de la geometría temporal de su frontera, con un geometry u otro tquadbin, con el conjunto completo de relaciones de los tipos de geometrías temporales. Una celda H3 o S2 está delimitada por arcos de círculo máximo, de modo que un th3index o un ts2cell se relaciona a través de la geografía temporal de su frontera, con un geography u otra celda de su malla, con la respuesta calculada sobre la esfera y la distancia en metros; tiene las relaciones que tiene una geografía temporal, que no expresan contención ni contacto. Un geometry pasado a una relación de H3 o S2 se lee como el geography al que PostGIS lo convierte. Cada relación tiene tres formas cuantificadas: la forma alguna vez con el prefijo e devuelve true cuando la relación se cumple en algún instante, la forma siempre con el prefijo a cuando se cumple en todo instante, y la forma temporal con el prefijo t de la sección siguiente devuelve un tbool del resultado instante a instante. eContains indica si una frontera contiene a la otra, solo interiores, y eCovers lo mismo con la frontera incluida; eIntersects si las fronteras comparten al menos un punto, eDisjoint si no comparten ninguno, eTouches si comparten un punto de la frontera pero ningún punto interior, y eDwithin si se encuentran dentro de la distancia pasada como tercer argumento. El último ejemplo es un punto que H3 asigna a la celda de resolución 0 y que se encuentra a 91 km fuera del polígono que une los vértices de la celda con rectas en longitud y latitud.

SELECT eIntersects(geography 'Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', th3index '871fa4418ffffff@2001-01-01');
-- t
SELECT eIntersects(geometry 'SRID=4326;Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', tquadbin '48a6227affffffff@2001-01-01');
-- t
SELECT eIntersects(geography 'Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', ts2cell '47c3c@2001-01-01');
-- t
SELECT eIntersects(th3index '8009fffffffffff@2001-01-01',
  geography 'Point(16.6328 71.9281)');
-- t