Mamy dwie własności pojęć forsingu, powiedzmy i i własność implikuje własność Twierdzenia iteracyjne związane z tymi własnościami mogą być jednej z następujących postaci: (a) Jeśli jest iteracją z nośnikami przeliczalnymi taką, że dla każdego mamy ” jest proper i ma własność ”, to jest proper i ma własność (b) Jeśli jest liczbą graniczną oraz jest taką iteracją z nośnikami przeliczalnymi, że dla każdego mamy „ jest proper” oraz ma własność to (jest proper i) ma własność
Jeśli własności są identyczne, to mówimy wówczas że mamy do czynienia z twierdzeniem zachowawczym.
Przykłady Powiemy, że pojęcie forsingu jest -ograniczające, jeśli
Twierdzenie: Jeśli jest iteracją z nośnikami przeliczalnymi taką, że dla każdego mamy „ jest proper i -ograniczające”, to jest proper i jest -ograniczające. Powiemy, że pojęcie forsingu jest słabo -ograniczające, jeśli jest nieskończony Twierdzenie: Jeśli jest liczbą graniczną oraz jest taką iteracją z nośnikami przeliczalnymi, że dla każdego mamy ” jest proper „oraz jest słabo -ograniczające, to jest proper i jest słabo -ograniczające.