学籍番号
成績
001
90
002
65
...
このタプルすべてがu
結果(タプル)がt
tの次数は2
t[学籍番号]
t[成績]
この中から科目番号005だけを取り出す
uは束縛変数
tは自由変数