名古屋大学の学生および多元数理科学研究科の院生の集合をNとする。
学生nの分かっている範囲を、A[n]とする。

∪[n∈N]A[n]=φ