Hazard comments on ToL: Foundations

[Hazard]

In other words, does I(w) equal {A∈I:w∈A}?

This one!