Все M суть P. Все S суть M. Следовательно, все S суть P.
2D: слева исходные классы, справа их образы при одной общей проективности h.3D: сечения z=4 и z=8; области соединены образующими, вершина исключена.
В 2D внутренняя область S вложена в M, а M — в P. В 3D вложены их усечённые конусные подъёмы. Для любого x∈S сначала x∈M, затем x∈P. Непустота S не предполагается; нарисованные непустые области — конкретный пример, не дополнительная посылка.
