 The modern second-order predicate calculus includes a comprehension principle that effectively guarantees that there exists an \(n\)-place relation corresponding to every open formula with \(n\) free object variables \(x_1,\ldots,x_n\). We introduce this principle by considering the following 1-place case: