Warunek  możemy rozbić na dwa prostsze warunki o postaci  oraz . Musimy więc wskazać takie zbiory ,  oraz , że zbiór  zawiera się w zbiorze ⁣, przy czym zbiór  zawiera się w zbiorze .

Przykła