Abstract

We look for a parallel to the notion of “proper forcing” among λ-complete forcing notions not collapsing λ+. We suggest such a definition and prove that it is preserved by suitable iterations.