Martin Davis'e ( JTS Topology Suite'in yaratıcısı ) bakın, Lin.ear th.inking: "İçerir" Mekansal Tahmin Tuhafları
- A'nın dışında hiçbir B noktası yoksa ve B iç kısmının en az bir noktası A'nın iç kısmında yer alıyorsa A geometrisi B içerir .
- A'nın dışında B noktası yoksa, A geometrisi B Geometrisini kapsar .
Bu durumu belirlemek için gereken tek şey basit bir sınırlayıcı kutu karşılaştırması yapmaktır. Bu sınırlamalarla mümkün değildir, çünkü Geometri sınırlayıcı kutusu Dikdörtgen tarafından kaplansa bile, Geometri'nin tamamen Dikdörtgenin sınırında olup olmadığını test etmek için daha pahalı bir işlem gerekir (bu durumda yüklem başarısız olur). Kapaklar, içerme tanımını daha genel (kapsayıcı) yaparak "basitleştirir".
DE-9IM'e bakarsanız, içerdiği (T*****FF*)
kapakların belirli bir durumda olduğunu görebilirsiniz(T*****FF*, *T****FF*, ***T**FF*)
Örneğin, içeriğinin tanımı, bir Çokgenin sınırını içermediğini, ancak bir Çokgenin sınırını kapsadığını ima eder.