見出し

見出し(heading)は属性の固定された集合, すなわちより正確には<属性名 : 定義域名>の組み合わせから構成されている.
{ , , ..., }
このような組み合わせで, 各々の属性Ajは対応する定義域Dj(j=1, 2, ..., n)のうちのただ一つに対応している. 属性名A1, A2, ..., Anはすべて異なっている.

データベースシステム概論

とのことらしいです。
で、tupleも同様に、<属性名 : 属性値>の集合で、本体はtupleの集合である、と。
だから、

 +----+----+
 |hoge|piyo|
 +----+----+
 |   1|   T|
 |   2|   F|
 |   3|   F|
 +----+----+

こんな感じで表の形で順序があったとしても、実際には

見出し : { ,  }
本体   :{{   ,     },
         {   ,     },
         {   ,     }}

という意味なんだそうな*1。

*1:intとかboolは定義域だと思ってくだせぇ