If s∈Lα+1, then s = {y_y∈Lα and Φ(y,z1...,zn) holds in (Lα,∈)} for some formula Φ and some z1...,zn in Lα.
Αν το s∈Lα+1, τότε s = {y_y∈Lα κα Φ(y,z1...,zn) στο (Lα,∈)} για κάποιο τύπο Φ και κάποια z1...,zn στο Lα.