Spójrz na Martina Davisa (twórcę pakietu JTS Topology Suite ), Lin.ear th.inking: Dziwactwa predykatu przestrzennego „Zawiera”
- Geometria A zawiera geometrię B, jeśli żadne punkty B nie leżą na zewnątrz A, a co najmniej jeden punkt wnętrza B leży we wnętrzu A
- Geometria A obejmuje geometrię B, jeśli żadne punkty B nie leżą na zewnątrz A
Aby określić ten warunek, wystarczy wykonać proste porównanie ramki ograniczającej. Nie jest to możliwe z zawartością, ponieważ nawet jeśli obwiednia geometrii jest objęta prostokątem, wymagana jest dalsza kosztowna operacja, aby sprawdzić, czy geometria leży całkowicie na granicy prostokąta (w takim przypadku predykat zawodzi). Okładki „upraszczają” definicję zawartości, czyniąc ją bardziej ogólną (włącznie)
Jeśli spojrzysz na DE-9IM , zobaczysz, że zawiera (T*****FF*)
on szczególny przypadek okładek(T*****FF*, *T****FF*, ***T**FF*)
Na przykład definicja zawiera sugeruje, że wielokąt nie zawiera swojej granicy, ale wielokąt pokrywa jego granicę.