summary:
すなわち,\[R \subseteq D_1 \times D_2 \times \cdots \times D_n\]
ここで,各 $ D_i $ は属性 $ i $ に対応するドメイン[値の取り得る集合]であり,$ R $ の各要素は $ n $-タプルである.
リレーションは,関係代数やリレーショナルデータベース理論の根幹にあり,SQL などのリレーショナルクエリ言語の形式的な基盤である.
なお,データベースにおける表は,リレーション $ R $ の有限部分集合として扱われるのが一般的である.
Mathematics is the language with which God has written the universe.